diff options
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") ;;;*** |