aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2003-02-18 10:22:32 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2003-02-18 10:22:32 +0000
commitc078fce587c46ba73fc1ec146a05a9bdeb512669 (patch)
tree4ebd8efc791b7cff19cb7fe149fcb99a0b2536b7 /isar
parent916171804ecf073d2da6ccb78e4f2a76fbbc9103 (diff)
Test with -- short comments. Docs
Diffstat (limited to 'isar')
-rw-r--r--isar/isar-mmm.el13
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