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

2 lines
146 B
Markdown
Raw Permalink Blame History

# 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")
Reference in New Issue View Git Blame Copy Permalink