tla-mode

Homepage: http://ls4-www.informatik.uni-dortmund.de/RVS/P-TLA/TEM/tem.html

Author: Frank Wegmann

Updated: 2017-Feb-09

Summary

Major mode for editing TLA+ specifications

Commentary

This is a major mode for editing and working with file written in the
specification language TLA+ or its other variants.

Dependencies

• easymenu
• info
• outline
• reporter