diff options
| -rw-r--r-- | isar/isar-mmm.el | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/isar/isar-mmm.el b/isar/isar-mmm.el index dc8810ce..e07f7ff5 100644 --- a/isar/isar-mmm.el +++ b/isar/isar-mmm.el @@ -6,8 +6,11 @@ ;; ;; $Id$ ;; -;; TODO: more insertion commands might be nice. -;; (Presently just C-c % t and C-c % M) +;; TODO: +;; --- fontification for antiquotations has been lost, could +;; add that into LaTeX mode somehow. +;; --- more insertion commands might be nice. +;; (Presently just C-c % t and C-c % M) ;; (require 'mmm-auto) @@ -15,7 +18,11 @@ (defconst isar-start-latex-regexp (concat "\\(" - (proof-ids-to-regexp (list "text" "header" ".*section")) + (proof-ids-to-regexp + (list "text" "header" ".*section")) + ;; Next one is nice but hammers font lock a bit too much + ;; if there are lots of -- {* short comments *} + ;; "\\|\-\-" ;; doesn't work with \\<--\\> "\\)[ \t]+{\\*")) (defconst isar-start-sml-regexp |