bch
/
tlamode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You cannot 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
Emacs Lisp 100%
 
master
v0.0.1
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 
- define some TLA+ symbols
- Use `M-x prettify-symbols-mode' to view them.
 		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 3 years ago
README.md example image 3 years ago

README.md

TLA+ Major Mode for GNU/Emacs

Emacs/TLA+ Mode