tla-mode-0.4


  • This directory holds a preliminary alpha release of TLA mode, a major mode for GNU emacs supporting the specification process of specifications based on TLA+.