From 4878ed1c9a0f269494ef22cff2bfb40bec1b69dc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 11 Aug 2010 16:56:30 +0000
Subject: Support custom syntactic fontification.  Split out pa macros.

---
 generic/proof-script.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index bedfd68c..0939855a 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2308,7 +2308,10 @@ mode features, but are only ever processed atomically by the proof
 assistant."
   (setq proof-script-buffer-file-name buffer-file-name)
 
-  (setq font-lock-defaults '(proof-script-font-lock-keywords))
+  (setq font-lock-defaults 
+	(list '(proof-script-font-lock-keywords)
+	      ;; see defadvice in proof-syntax 
+	      (fboundp (proof-ass-sym font-lock-fontify-syntactically-region))))
 
   ;; Has buffer already been processed?
   ;; NB: call to file-truename is needed for GNU Emacs which
-- 
cgit v1.2.3