From 3188396e4e0ecdb8b0805fea60da2c2b051f9057 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 3 Jul 2000 13:19:21 +0000
Subject: quick-and-dirty t by default;

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

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index ac5f19d1..632bbee5 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -266,8 +266,8 @@ 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."
+(defpacustom quick-and-dirty  t
+  "Whether to take a few short cuts occasionally."
   :type 'boolean
   :setting "quick_and_dirty:=%b;")
 
-- 
cgit v1.2.3