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

new keyword LET/IN 

this commit adds the new keyword
LET..IN as seen in chapter 5.  Aditionally, the
tla+-run-tlatex-dvi comment has been clarified
i.e. an explanation for the argument was added
This commit is contained in:
Christian Barthel 2020-01-04 09:55:55 +01:00
parent 9d6c2da190
commit 4b57968fa3
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
tla+-mode.el
View File

@ -344,10 +344,10 @@
(defconst tla+-font-lock-keywords (defconst tla+-font-lock-keywords
(list (list
'("\\<\\(MODULE\\|CONSTANTS?\\|UNCHANGED\\|VARIABLES?\\|THEOREM\\|LOCAL\\|ASSUME\\|EXTENDS?\\)\\>" '("\\<\\(MODULE\\|CONSTANTS?\\|UNCHANGED\\|VARIABLES?\\|THEOREM\\|LOCAL\\|ASSUME\\|LET\\|EXTENDS?\\)\\>"
. font-lock-builtin-face) . font-lock-builtin-face)
'("\\<\\(TRUE\\|FALSE\\|OTHER\\|BOOLEAN\\|DOMAIN\\)\\>" . font-lock-type-face) '("\\<\\(TRUE\\|FALSE\\|OTHER\\|BOOLEAN\\|DOMAIN\\)\\>" . font-lock-type-face)
'("\\<\\(CONSTANT\\|SUBSET\\|ENABLED\\|UNCHANGED\\|INSTANCE\\|WITH\\|EXCEPT\\|UNION\\|DOMAIN\\|EXCEPT\\|IF\\|THEN\\|ELSE\\|CHOOSE\\)\\>" . font-lock-keyword-face) '("\\<\\(CONSTANT\\|SUBSET\\|ENABLED\\|UNCHANGED\\|INSTANCE\\|WITH\\|EXCEPT\\|UNION\\|IN\\|DOMAIN\\|EXCEPT\\|IF\\|THEN\\|ELSE\\|CHOOSE\\)\\>" . font-lock-keyword-face)
'("\\\\\\*.*$" . font-lock-comment-face) '("\\\\\\*.*$" . font-lock-comment-face)
'("(\\*.*\\*)" . font-lock-comment-face) '("(\\*.*\\*)" . font-lock-comment-face)
'("\\('\\w*'\\)" . font-lock-variable-name-face) '("\\('\\w*'\\)" . font-lock-variable-name-face)
@ -424,6 +424,9 @@ Operation:
This function starts the `xdvi' utility and opens the TLA+ This function starts the `xdvi' utility and opens the TLA+
specification file as DVI. It must be created beforehand specification file as DVI. It must be created beforehand
with the `tla+-run-tlatex-dvi'. with the `tla+-run-tlatex-dvi'.
The argument BUFFERNAME is a TLA+ Buffer that will be opend
as DVI file.
" "
(interactive "b") (interactive "b")
(save-excursion (save-excursion