Removed font-lock settings. Set proof-font-lock-zap-commas=t

1 files changed, 3 insertions, 1 deletions

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))))