bch/tlamode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

features and installation instructions

Browse Source 
short explanation about the features of the
tla+-mode and how to install it.
This commit is contained in:
Christian Barthel 2020-01-05 09:47:32 +01:00
parent 4b57968fa3
commit 279db98723
1 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
tla+-mode.el
View File

@ -21,7 +21,23 @@
;;; Commentary: ;;; Commentary:
;; This package defines TLA+ Major Mode to manipulate TLA+ ;; This package defines TLA+ Major Mode to manipulate TLA+
;; specifications. ;; specifications as invented by Leslie Lamport [1].
;;
;; Features:
;; - Syntax Highlighting for TLA+ Specification Files
;; - Running `SANY Syntactic Analyzer' on TLA+ files
;; - Exporting TLA+ Specification files with TLATeX to
;; DVI, PS or PDF files
;; - Inserting TLA+ Operators with an easy to use menu
;; or typical Emacs keystrokes.
;; - Use templates to generate Modules
;;
;; Installation:
;; To use tla+-mode, you have to load the tla+-mode.el file
;; with
;; (load "/path/to/tla+-mode.el")
;; and use it with
;; (require tla+-mode)
;;; Code: ;;; Code: