diff options
| -rw-r--r-- | isa/isa-syntax.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el index b48b2fd4..c1c229d1 100644 --- a/isa/isa-syntax.el +++ b/isa/isa-syntax.el @@ -283,6 +283,8 @@ (list "^Level [0-9].*" "^No subgoals!$" + "^Variables:$" + "^Constants:$" "\\s-*[0-9][0-9]?\\. ") isa-output-font-lock-keywords-1)) |