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-menu.el | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index bac4ca71..c508e488 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -241,7 +241,7 @@ If in three window or multiple frame mode, display two buffers."
 (proof-deftoggle proof-output-fontify-enable proof-output-fontify-toggle)
 (proof-deftoggle proof-disappearing-proofs)
 (proof-deftoggle-fn (proof-ass-sym x-symbol-enable) 'proof-x-symbol-toggle)
-
+(proof-deftoggle-fn (proof-ass-sym mmm-enable) 'proof-mmm-toggle)
 
 
 (defvar proof-quick-opts-menu
@@ -265,6 +265,10 @@ If in three window or multiple frame mode, display two buffers."
       :active (proof-x-symbol-support-maybe-available)
       :style toggle
       :selected (proof-ass x-symbol-enable)]
+     ["Multiple modes" proof-mmm-toggle
+      :active (proof-mmm-support-available)
+      :style toggle
+      :selected (proof-ass mmm-enable)]
      ["Toolbar" proof-toolbar-toggle
       ;; should really be split into :active & GNU Emacs's :visible
       :active (and (or (featurep 'toolbar) (featurep 'tool-bar))
-- 
cgit v1.2.3