From aca85757bdf148cb4b43ba5a60c7d397215d74d4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 01:41:55 +0000
Subject: Dependencies classed as experimental.

---
 isa/isabelle-system.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 62d7e051..a57d65ca 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -354,11 +354,12 @@ until Proof General is restarted."
   :type 'boolean
   :setting "Library.timing:=%b;")
 
+(if proof-experimental-features
 (defpacustom theorem-dependencies nil
   "Whether to track theorem dependencies within Proof General."
   :type 'boolean
   :setting ("print_mode := ([\"thm_deps\"] @ ! print_mode);" .
-	    "print_mode := (Library.gen_rems (op =) (! print_mode, [\"thm_deps\"]));"))
+	    "print_mode := (Library.gen_rems (op =) (! print_mode, [\"thm_deps\"]));")))
 
 (defpacustom goals-limit  10
   "Setting for maximum number of goals printed in Isabelle."
-- 
cgit v1.2.3