From 319f79246e3886bea6a4ae6636372d3d8c456e27 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 12 Jan 2000 14:06:07 +0000
Subject: Comments

---
 isa/isa.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/isa/isa.el b/isa/isa.el
index d09b4207..a4f18f33 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -348,7 +348,8 @@ isa-proofscript-mode."
 
     (thy-mode)
 
-    ;; related mode configuration including locking buffer.
+    ;; related mode configuration including locking buffer,
+    ;; fontification, etc.
     (proof-config-done-related)		
 
     ;; Hack for splash screen
@@ -594,6 +595,7 @@ you will be asked to retract the file or process the remainder of it.
 
 (setq proof-xsym-extra-modes '(thy-mode)
       proof-xsym-font-lock-keywords
+      ;; fontification for tokens themselves  (FIXME: broken)
       '(("\\\\<[A-Za-z][A-Za-z0-9_']*>" (0 font-lock-type-face)))
       proof-xsym-activate-command
       "print_mode := (!print_mode union [\"xsymbols\",\"symbols\"])"
-- 
cgit v1.2.3