bch/tlamode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
24 Commits 1 Branch 1 Tag
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Christian Barthel bf13ea44db Add a few tla symbols and load them to prettify them on command 
- define some TLA+ symbols
- Use `M-x prettify-symbols-mode' to view them.
2021-04-13 19:44:49 +02:00
examples
Add a few tla symbols and load them to prettify them on command
2021-04-13 19:44:49 +02:00
lisp
Add a few tla symbols and load them to prettify them on command
2021-04-13 19:44:49 +02:00
org
…
ChangeLog
…
README.md
…

README.md

TLA+ Major Mode for GNU/Emacs

Emacs/TLA+ Mode

Description
No description provided
Readme 324 KiB
Languages
Emacs Lisp 100%