From f42c7b825bb58bdf166b1e5b79ede35bdedeb547 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 20 Aug 1999 17:07:13 +0000
Subject: Disabled binder regexp font locking

---
 isa/isa-syntax.el | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index a233dc8e..36f36cc9 100644
--- a/isa/isa-syntax.el
+++ b/isa/isa-syntax.el
@@ -135,9 +135,15 @@
     (concat binder "\\s-*\\(" isa-ids "\\)\\s-*" dot))
 
 (defvar isa-font-lock-terms
-  (list
+  ;(list
+   ;; This font lock regexp is faulty: causes big delay in
+   ;; font locking any buffer with % something in it.
+   ;; In any case, all Isabelle terms are in strings in
+   ;; proof scripts and theory files, unfortunately, so
+   ;; it has no use anyway.
    ;; lambda binders
-   (list (isa-binder-regexp "\%" "\\.") 1 'proof-declaration-name-face))
+   ; (list (isa-binder-regexp "\%" "\\.") 1 'proof-declaration-name-face))
+  nil
   "*Font-lock table for Isabelle terms.")
 
 (defconst isa-save-command-regexp
-- 
cgit v1.2.3