Documentation
Commentary
This is a major mode for editing and working with file written in the specification language TLA+ or its other variants.
Consumers
Reverse Dependencies
No reverse dependencies recorded.
Package
Major mode for editing TLA+ specifications