From cff1ff992342a410e7e4ec248aaa34f59eee09b3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 May 2000 15:58:01 +0000
Subject: New setting on the way...

---
 generic/proof-config.el | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 05006440..cf41b334 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1885,7 +1885,7 @@ X-Symbol support is deactivated."
 
 
 ;;
-;; 9. Prover specific settings mirrored in Proof General
+;; 9. Prover specific settings 
 ;;
 
 ;; FIXME: this is a way to renovate all the settings, and have
@@ -1913,6 +1913,11 @@ X-Symbol support is deactivated."
 
 (proof-defasscustom favourites nil
   "Favourites on proof assistant specific menu.")
+
+; (proof-defasscustom help-menu nil
+;  "Favourites on proof assistant specific menu.")
+
+
 		     
 
 
-- 
cgit v1.2.3