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-autoloads.el | 13 +++++++++++++
 1 file changed, 13 insertions(+)

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

diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el
index 4a740e51..ff9b0068 100644
--- a/generic/proof-autoloads.el
+++ b/generic/proof-autoloads.el
@@ -111,6 +111,19 @@ The function `proof-assistant-format' is used to format VAL.
 If NAME corresponds instead to a PG internal setting, then a form :eval to
 evaluate can be provided instead." nil 'macro)
 
+;;;***
+
+;;;### (autoloads (proof-mmm-enable proof-mmm-support-available) "proof-mmm" "generic/proof-mmm.el")
+
+(autoload 'proof-mmm-support-available "proof-mmm" "\
+A test to see whether mmm support is available." nil nil)
+
+(autoload 'proof-mmm-enable "proof-mmm" "\
+Turn on or off MMM mode in Proof General script buffers.
+This invokes `mmm-mode' with appropriate setting for current
+buffer, and adjusts 
+on MMM regions for the prover's class." nil nil)
+
 ;;;***
 
 ;;;### (autoloads nil "proof-script" "generic/proof-script.el")
-- 
cgit v1.2.3