From fb0868cf2fde231d280e7410771dde1dd10b1759 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Apr 2004 17:08:10 +0000
Subject: Comments.

---
 generic/proof-easy-config.el | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/generic/proof-easy-config.el b/generic/proof-easy-config.el
index 7b87ae72..cbc450d9 100644
--- a/generic/proof-easy-config.el
+++ b/generic/proof-easy-config.el
@@ -32,10 +32,12 @@
 	   (modename  (concat proof-assistant " " suffixnm))
 	   (varname   (intern (concat "proof-mode-for-" suffixnm)))
 	   ;; FIXME: declare these variables in proof-config:
-	   ;;	proof-script-font-lock-keywords, -shell-, etc.
-	   ;;   proof-script-syntax-table-entries, -shell-, etc.
+	   ;;	proof-{goals,resp,trace}-font-lock-keywords,
+	   ;;   proof-{goals,resp,trace}-syntax-table-entries
 	   ;; FIXME: in future versions, use these settings in *-config-done
 	   ;;        to simplify elisp code elsewhere.
+	   ;; FIXME: add imenu-generic-expression too
+	   ;; 
 	   (fntlcks   (intern (concat "proof-" suffixnm "-font-lock-keywords")))
 	   (modsyn    (intern (concat "proof-" suffixnm "-syntax-table-entries")))
 	   (fullbody  (append
-- 
cgit v1.2.3