From 4e6eaf66ce80cc2ae31ef85376dfd1c02240ca5c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 18 Feb 2003 00:56:07 +0000
Subject: Add support for MMM mode

---
 generic/proof-script.el | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 395a1fb7..589abe15 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2498,6 +2498,9 @@ assistant."
   
   ;; Maybe turn on x-symbol mode and MMM mode
   (proof-x-symbol-mode)
+  ;; FIXME: slight bugginess here with MMM mode/font-lock: visiting
+  ;; a fresh file leaves the progress bar up.  Perhaps turning
+  ;; on MMM here is wrong, is should happen automatically?
   (proof-mmm-enable))
 
 
-- 
cgit v1.2.3