From d27fd2076ef8ad5801c784f7727efcf8a1380637 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 3 May 2002 13:05:51 +0000
Subject: Craftily set experimental fetures on for devel release.

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 29f341bb..7ee5c4c9 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -314,7 +314,7 @@ you should set `proof-tidy-response' to nil."
   :type 'boolean
   :group 'proof-user-options)
 
-(defcustom proof-experimental-features nil
+(defcustom proof-experimental-features t ;; FIXME: nil for release version
   "*Whether to enable certain features regarded as experimental.
 As features are added to proof general but are not entirely robust,
 we only enable them if this flag is set.  We encourage users to
@@ -1584,6 +1584,10 @@ Proof General about the dependencies rather than using this setting."
   :type 'boolean
   :group 'proof-shell)
 
+;; (defcustom  proof-shell-adjust-line-width-cmd nil
+
+
+
 
 
 
-- 
cgit v1.2.3