From 149611d1f353c4040167a38f4632010227f5407e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Jun 2000 12:46:22 +0000
Subject: Added quick-and-dirty setting -- we can still argue about the
 default, 8-)

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

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index ab9ace03..49852793 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -264,6 +264,11 @@ until Proof General is restarted."
   :type 'boolean
   :setting "trace_simp:=%b;")
 
+(defpacustom quick-and-dirty  nil
+  "Whether to take a few short cuts in interactive mode."
+  :type 'boolean
+  :setting "quick_and_dirty:=%b;")
+
 ; FIXME: for Isabelle99-1
 ; (defpacustom global-timing  nil
 ;  "Whether to enable timing in Isabelle."
-- 
cgit v1.2.3