diff options
| -rw-r--r-- | isa/isa-syntax.el | 10 |
1 files 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 |