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