diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-02-18 00:56:07 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-18 00:56:07 +0000 |
| commit | 4e6eaf66ce80cc2ae31ef85376dfd1c02240ca5c (patch) | |
| tree | 1050f9dcb855a463a1b75328c68d4bab842e0689 /generic/proof-autoloads.el | |
| parent | 83a8661ca8e03a2b6438cb85d0105c60f2af630f (diff) | |
Add support for MMM mode
Diffstat (limited to 'generic/proof-autoloads.el')
| -rw-r--r-- | generic/proof-autoloads.el | 13 |
1 files changed, 13 insertions, 0 deletions
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 @@ -113,6 +113,19 @@ 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") ;;;*** |