diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-29 15:47:21 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-29 15:47:21 +0000 |
| commit | 57f456593a4de60e177e43121b289266f58424a2 (patch) | |
| tree | b39912c41be8a1bf50d97122d2e448f993865b9e /isa | |
| parent | cb4d180feeebba2989ed6e0d586850730e105311 (diff) | |
Additions to font lock on output
Diffstat (limited to 'isa')
| -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)) |