An Emacs major mode for editing TLA+ specifications.
Why do you think that https://github.com/Davidbrcz/tla-ts-mode is a good alternative to tla-mode
An Emacs major mode for editing TLA+ specifications.
Why do you think that https://github.com/Davidbrcz/tla-ts-mode is a good alternative to tla-mode