Remove mmm and ML4PG contribs and remove references to them in code and docs

1 files changed, 0 insertions, 69 deletions

diff --git a/isar/isar-mmm.el b/isar/isar-mmm.el
deleted file mode 100644
index 3ecc9f7b..00000000
--- a/isar/isar-mmm.el
+++ /dev/null
@@ -1,69 +0,0 @@
-;; isar-mmm.el	  Configure MMM mode for Isar (for LaTeX, SML mode)
-;;
-;; Copyright     (C) 2003 David Aspinall
-;; Authors:       David Aspinall <David.Aspinall@ed.ac.uk>
-;; Licence:	 GPL
-;;
-;; $Id$
-;;
-;; Presently, we deal with several cases of {* text *}.
-;; It's not a good idea to do too much, since searching for the
-;; regions and fontifying them is slow.
-;;
-;; TODO:
-;;  --- fontification for antiquotations has been lost, could
-;;      add that into LaTeX mode somehow.
-;;  --- support for X-Symbols inside MMM mode?  (eek)
-;;  --- more insertion commands might be nice.
-;;      (Presently just C-c % t and C-c % M)
-;;
-
-(require 'mmm-auto)
-(require 'proof-syntax)			; proof-ids-to-regexp
-
-(defconst isar-start-latex-regexp
-  (concat
-   "\\("
-   (proof-ids-to-regexp
-    ;; Perhaps section is too much?  The fontification is nice but
-    ;; section headers are a bit short to use LaTeX mode in.
-    (list "text" "header" ".*section"))
-   ;; Next one is nice but hammers font lock a bit too much
-   ;; if there are lots of -- {* short comments *}
-   ;; "\\|\-\-" ;; NB: doesn't work with \\<--\\>
-   "\\)[ \t]+{\\*"))
-
-(defconst isar-start-sml-regexp
-  (concat
-   "\\("
-   (proof-ids-to-regexp
-    (list "ML" "ML_command" "ML_setup" "typed_print_translation"))
-   "\\)[ \t]+{\\*"))
-
-
-(mmm-add-group
- 'isar
- `((isar-latex
-   :submode LaTeX-mode
-   :face mmm-comment-submode-face
-   :front ,isar-start-latex-regexp
-   :back  "\\*}"
-   :insert ((?t isar-text nil @ "text {*" @ " " _ " " @ "*}" @)
-	    (?t isar-text_raw nil @ "text_raw {*" @ " " _ " " @ "*}" @)
-	    (?s isar-section nil @ "section {*" @ " " _ " " @ "*}" @)
-	    (?d  isar-header nil @ "header {*" @ " " _ " " @ "*}" @)))
-
-  (isar-sml
-   :submode sml-mode
-   :face mmm-code-submode-face
-   :front ,isar-start-sml-regexp
-   :back  "\\*}"
-   :insert ((?u isar-ML-setup nil @ "ML_setup {*" @ " " _ " " @ "*}" @)
-	    (?c isar-ML-command nil @ "ML_command {*" @ " " _ " " @ "*}" @)
-	    (?m isar-ML nil @ "ML {*" @ " " _ " " @ "*}" @)
-	    (?p isar-print-trans nil @ "typed_print_translation {*" @ " " _ " " @ "*}" @)))))
-
-
-(provide 'isar-mmm)
-
-;;; isar-mmm.el ends here