TLA+ Major Mode for GNU/Emacs
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
christian barthel bf13ea44db Add a few tla symbols and load them to prettify them on command 8 months ago
examples Add a few tla symbols and load them to prettify them on command 8 months ago
lisp Add a few tla symbols and load them to prettify them on command 8 months ago
org handling of TLC config files 1 year ago
ChangeLog remove default paths, add error checks when toolbox missing 1 year ago
README.md example image 1 year ago

README.md

TLA+ Major Mode for GNU/Emacs

Emacs/TLA+ Mode