From 57f456593a4de60e177e43121b289266f58424a2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 29 May 2000 15:47:21 +0000
Subject: Additions to font lock on output

---
 isa/isa-syntax.el | 2 ++
 1 file changed, 2 insertions(+)

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))
 
-- 
cgit v1.2.3