Davidbrcz tla-ts-mode issues - Githubissues

Davidbrcz / tla-ts-mode

TLA+ and PlusCal editing mode for emacs powered by tree-sitter

GNU General Public License v3.0

3 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Package `tla-ts-mode` is unavailable

#2 philipmw opened 8 months ago
1
Fix minor formatting issues in readme

#1 philipmw closed 8 months ago
0