From de5082468d456bb7f30d628f5268e98628ebeb7e Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 27 Dec 2001 15:56:17 +0000
Subject: trace_rules flag;

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

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 7cadc19a..7087120a 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -301,6 +301,11 @@ until Proof General is restarted."
   :type 'boolean
   :setting "trace_simp:=%b;")
 
+(defpacustom trace-rules  nil
+  "Whether to trace the standard rules in Isabelle."
+  :type 'boolean
+  :setting "trace_rules:=%b;")
+
 (defpacustom quick-and-dirty  t
   "Whether to take a few short cuts occasionally."
   :type 'boolean
-- 
cgit v1.2.3