Go to file
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 handling of TLC config files 2020-08-03 05:11:09 +02:00
ChangeLog remove default paths, add error checks when toolbox missing 2020-08-27 17:16:13 +02:00
README.md example image 2020-08-27 18:50:59 +00:00

README.md

TLA+ Major Mode for GNU/Emacs

Emacs/TLA+ Mode