issues
search
tamarin-prover
/
editors
Repository for text editor syntax highlighting
GNU General Public License v3.0
2
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
License Change towards support for Tamarin / .spthy Language & Syntax Recognition
#8
JeuJeus
opened
3 months ago
4
Fix delimiter syntax in the Emacs spthy mode.
#7
Mihaell
closed
9 months ago
1
Instructions for use of vim-plug.
#6
rkunnema
closed
4 years ago
0
Fix syntax highlighting for revealing-signing builtin
#5
rkunnema
closed
4 years ago
0
Files from `etc` in main repository.
#4
rkunnema
closed
4 years ago
1
New sapic constructs
#3
rkunnema
closed
4 years ago
4
Minor improvements to vim/emacs files
#2
joelwanner
closed
5 years ago
1
Adds syntax files for Vim in proper format
#1
dbosk
closed
6 years ago
0