This website requires JavaScript.
Explore
Help
Sign In
bch
/
tlamode
Watch
1
Star
0
Fork
You've already forked tlamode
0
Code
Issues
Pull Requests
Releases
Wiki
Activity
master
tlamode
/
lisp
History
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