From c9466a2b48c9e671600a5676a746fe463c94af9a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Jan 2008 23:17:48 +0000
Subject: Simplify font lock settings, removing
 proof-font-lock-case-fold-search

---
 generic/proof-script.el | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 1f056116..0b75ade4 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2594,9 +2594,7 @@ assistant."
   ;;
   ;; Fontlock support.
   ;;
-  ;; Assume font-lock case folding follows proof-case-fold-search
-  (proof-font-lock-configure-defaults 'autofontify proof-case-fold-search)
-
+  (proof-font-lock-configure-defaults 'autofontify)
 )
   
 
-- 
cgit v1.2.3