TLA+ Mode

Supporting TLA+-based specifications in GNU Emacs

Edition 0.4, for TLA+ mode version 0.4

September 1994, for GNU Emacs 19

• Copying
• Alpha Release Information
• Introduction
• Editing Features
  • Inserting Keyword Templates
    • Module Headers
    • Constant Modules
    • Temporal Modules
  • Commenting
  • Formatting and Indenting
  • Outlining
  • Using Multiple Fonts
• Multifile Specifications
• Running Commands
  • Executing Commands
  • Controlling Output
• Different Variants of TLA+
• Error Messages
• Installation and Customization
• Key Index
• Concept Index