issues
search
wysiib
/
language-tla-pluscal
MIT License
3
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Pluscal not highlighted
#3
garrensmith
closed
5 years ago
7
\subseteq is not highlighted
#2
nullmax
closed
6 years ago
1
add TLA+2 keywords and some missing operators
#1
johnyf
closed
7 years ago
3