bch/tlamode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
24 Commits 1 Branch 1 Tag 324 KiB
master
Commit Graph

2 Commits

Author SHA1 Message Date
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
Christian Barthel
9dc03f8cbc example pic 2020-08-27 20:42:27 +02:00