FRDCSA
Minor
Internal
External
Git
Packages
tla-mode-0.4
Jump To:
Parent Description
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+.