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 (master)

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