diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-05-20 14:05:41 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-05-20 14:05:41 +0000 |
| commit | edcb77c42633dcd57a9e554a4316f0689e673f8c (patch) | |
| tree | e553746b8b5308ae1cc82ef8c0d06e577c9aa706 | |
| parent | ed2d995e2ecc9447b0f4d5767a051d4bafc3763d (diff) | |
Version without match save, and disabling isar-match-antiq.
| -rw-r--r-- | isar/isar-syntax.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index d826b882..0cb60fb4 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -215,7 +215,7 @@ (defun isar-match-antiq (limit) "Match Isabelle/Isar antiquotations." - (save-match-data + ;;(save-match-data (or (and (proof-looking-at-syntactic-context) (proof-looking-at isar-antiq-regexp)) @@ -225,7 +225,7 @@ (and (proof-looking-at-syntactic-context) (setq done t) (setq ans t)) (setq done t))) - ans)))) + ans)));; ) ;; ----- Isabelle inner syntax hilite @@ -308,9 +308,9 @@ (cons (isar-ids-to-regexp isar-keywords-proof) 'font-lock-keyword-face) (cons (isar-ids-to-regexp isar-keywords-proof-context) 'proof-declaration-name-face) (cons (isar-ids-to-regexp isar-keywords-improper) 'font-lock-reference-face) - (cons isar-tac-regexp 'font-lock-reference-face))) + (cons isar-tac-regexp 'font-lock-reference-face)) ;; da: this function is expensive and buggy, or at least trips bugs in XEmacs/font lock -;; '(isar-match-antiq (0 'font-lock-variable-name-face prepend))) + '(isar-match-antiq (0 'font-lock-variable-name-face prepend))) (defvar isar-output-font-lock-keywords-1 (list |