bch
/
tlamode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
24 Commits 1 Branch 1 Tag 323 KiB
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