diff options
author | Paul Steckler <steck@stecksoft.com> | 2017-05-24 11:14:51 -0400 |
---|---|---|
committer | Paul Steckler <steck@stecksoft.com> | 2017-05-24 11:14:51 -0400 |
commit | c9e9c691c353d5d4835551de8d7d1f4c0ec74b9f (patch) | |
tree | f89d20d989b309730281d4266b734e0adaed1867 /generic/proof-autoloads.el | |
parent | afb29a670c537412d09cec703da7e8821c658196 (diff) |
Remove mmm and ML4PG contribs and remove references to them in code and docs
Diffstat (limited to 'generic/proof-autoloads.el')
-rw-r--r-- | generic/proof-autoloads.el | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index ba8d1f05..67287511 100644 --- a/generic/proof-autoloads.el +++ b/generic/proof-autoloads.el @@ -603,26 +603,6 @@ Construct and return PG auxiliary menu used in non-scripting buffers. ;;;*** -;;;### (autoloads (proof-mmm-enable proof-mmm-set-global) "proof-mmm" -;;;;;; "proof-mmm.el" (20118 50210)) -;;; Generated autoloads from proof-mmm.el - -(autoload 'proof-mmm-set-global "proof-mmm" "\ -Set global status of MMM mode for PG buffers to be FLAG. - -\(fn FLAG)" nil nil) - -(autoload 'proof-mmm-enable "proof-mmm" "\ -Turn on or off MMM mode in Proof General script buffer. -This invokes `mmm-mode' to toggle the setting for the current -buffer, and then sets PG's option for default to match. -Also we arrange to have MMM mode turn itself on automatically -in future if we have just activated it for this buffer. - -\(fn)" t nil) - -;;;*** - ;;;### (autoloads (proof-config-done proof-mode proof-insert-sendback-command ;;;;;; proof-insert-pbp-command proof-script-generic-parse-find-comment-end ;;;;;; proof-register-possibly-new-processed-file pg-set-span-helphighlights |