diff options
Diffstat (limited to 'queries')
| -rw-r--r-- | queries/tlaplus/highlights.scm | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/queries/tlaplus/highlights.scm b/queries/tlaplus/highlights.scm index ed668d020..2eca927e7 100644 --- a/queries/tlaplus/highlights.scm +++ b/queries/tlaplus/highlights.scm @@ -13,9 +13,7 @@ "DEF" "DEFINE" "DEFS" - "DOMAIN" "ELSE" - "ENABLED" "EXCEPT" "EXTENDS" "HAVE" @@ -41,14 +39,11 @@ "RECURSIVE" "SF_" "STATE" - "SUBSET" "SUFFICES" "TAKE" "TEMPORAL" "THEN" "THEOREM" - "UNCHANGED" - "UNION" "USE" "VARIABLE" "VARIABLES" |