tlamode/lisp
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
..
tla+-mode.el Add a few tla symbols and load them to prettify them on command 2021-04-13 19:44:49 +02:00