From 1a2bd629e30c01afc61dd8a81903fff4623fa356 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 Apr 2003 11:34:42 +0000
Subject: Disable fontification of antiquotation because of buggy interaction
 with font-lock/XEmacs.

---
 isar/isar-syntax.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index a236fa5e..d826b882 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -308,8 +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)
-   '(isar-match-antiq (0 'font-lock-variable-name-face prepend))))
+   (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)))
 
 (defvar isar-output-font-lock-keywords-1
   (list
-- 
cgit v1.2.3