diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-02-18 10:22:32 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-18 10:22:32 +0000 |
commit | c078fce587c46ba73fc1ec146a05a9bdeb512669 (patch) | |
tree | 4ebd8efc791b7cff19cb7fe149fcb99a0b2536b7 /isar | |
parent | 916171804ecf073d2da6ccb78e4f2a76fbbc9103 (diff) |
Test with -- short comments. Docs
Diffstat (limited to 'isar')
-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 |