bch
/
tlamode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
tlamode/README.md

2 lines
146 B
Markdown
Raw Permalink Normal View History

example image
2020-08-27 18:50:59 +00:00
# TLA+ Major Mode for GNU/Emacs
![Emacs/TLA+ Mode](https://git.sdf.org/bch/tlamode/raw/branch/master/examples/emacs-tlaplus.png "Emacs TLA+ Mode")