From f9449f39bc520ffd150738eaa53246e8ce2c743b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 15 Nov 1999 10:32:04 +0000
Subject: Removed font-lock settings.  Set proof-font-lock-zap-commas=t

---
 coq/coq.el | 3 +--
 isa/isa.el | 4 +++-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 5a4998fd..f269917e 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -449,8 +449,7 @@
 
   (setq font-lock-keywords coq-font-lock-keywords-1)
 
-  (and (boundp 'font-lock-always-fontify-immediately)
-       (setq font-lock-always-fontify-immediately t))
+  (setq proof-font-lock-zap-commas t)	; enable the painful hack
   
   (proof-config-done)
 
diff --git a/isa/isa.el b/isa/isa.el
index 1592feab..f5bea836 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -381,7 +381,9 @@ isa-proofscript-mode."
     ;; Hack for splash screen
     (if (and (boundp 'proof-mode-hook)
 	     (memq 'proof-splash-timeout-waiter proof-mode-hook))
-	(proof-splash-timeout-waiter)))
+	(proof-splash-timeout-waiter)
+      ;; Otherwise, user may need welcoming.
+      (proof-splash-message)))
    (t 
     (isa-proofscript-mode))))
 
-- 
cgit v1.2.3