Comments

1 files changed, 3 insertions, 1 deletions

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\"])"