diff options
Diffstat (limited to 'isar/isar-mmm.el')
-rw-r--r-- | isar/isar-mmm.el | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/isar/isar-mmm.el b/isar/isar-mmm.el index a36b484e..3ecc9f7b 100644 --- a/isar/isar-mmm.el +++ b/isar/isar-mmm.el @@ -5,11 +5,11 @@ ;; 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. @@ -21,22 +21,22 @@ (require 'mmm-auto) (require 'proof-syntax) ; proof-ids-to-regexp -(defconst isar-start-latex-regexp +(defconst isar-start-latex-regexp (concat - "\\(" - (proof-ids-to-regexp + "\\(" + (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")) + (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 +(defconst isar-start-sml-regexp (concat - "\\(" - (proof-ids-to-regexp + "\\(" + (proof-ids-to-regexp (list "ML" "ML_command" "ML_setup" "typed_print_translation")) "\\)[ \t]+{\\*")) @@ -46,7 +46,7 @@ `((isar-latex :submode LaTeX-mode :face mmm-comment-submode-face - :front ,isar-start-latex-regexp + :front ,isar-start-latex-regexp :back "\\*}" :insert ((?t isar-text nil @ "text {*" @ " " _ " " @ "*}" @) (?t isar-text_raw nil @ "text_raw {*" @ " " _ " " @ "*}" @) @@ -62,7 +62,7 @@ (?c isar-ML-command nil @ "ML_command {*" @ " " _ " " @ "*}" @) (?m isar-ML nil @ "ML {*" @ " " _ " " @ "*}" @) (?p isar-print-trans nil @ "typed_print_translation {*" @ " " _ " " @ "*}" @))))) - + (provide 'isar-mmm) |