bch
/
tlamode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
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.
24 Commits
1 Branch
1 Tag
324 KiB
 
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Go to file
Christian Barthel bf13ea44db
Add a few tla symbols and load them to prettify them on command 		2 years ago
examples Add a few tla symbols and load them to prettify them on command 2 years ago
lisp Add a few tla symbols and load them to prettify them on command 2 years ago
org handling of TLC config files 3 years ago
ChangeLog remove default paths, add error checks when toolbox missing 2 years ago
README.md example image 2 years ago

README.md

TLA+ Major Mode for GNU/Emacs

Emacs/TLA+ Mode