From cd5f91bb404dd521e4096fa9bf903612b0e1d747 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 14 Jan 2008 20:56:43 +0000
Subject: Remove font lock settings for now

---
 lib/pg-dev.el | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/lib/pg-dev.el b/lib/pg-dev.el
index 90e3d2bd..101c9de9 100644
--- a/lib/pg-dev.el
+++ b/lib/pg-dev.el
@@ -32,9 +32,9 @@
 (put 'proof-map-buffers 'lisp-indent-function 'defun)
 (put 'proof-with-current-buffer-if-exists 'lisp-indent-function 'defun)
 
-FIXME: see font-lock.el
 (defconst pg-dev-lisp-font-lock-keywords
   (list
+   ;; FIXME: used to work but now not quite right, see font-lock.el to fix
    (concat "(\\(def\\(" ;; also proof-def
 	   ;; Function like things
 	   "^(\\(proof-def.*\\|defpg.*\\|defpa.*\\|.*asscustom\\)"
@@ -49,10 +49,10 @@ FIXME: see font-lock.el
 	     (t 'font-lock-function-name-face))
        nil t)))
 
-(add-hook 'emacs-lisp-mode-hook
-	  '(lambda ()
-	     (font-lock-add-keywords 'emacs-lisp-mode
-				     pg-dev-lisp-font-lock-keywords)))
+;(add-hook 'emacs-lisp-mode-hook
+;	  '(lambda ()
+;	     (font-lock-add-keywords 'emacs-lisp-mode
+;				     pg-dev-lisp-font-lock-keywords)))
 
 
 ;;;
-- 
cgit v1.2.3