# HG changeset patch
# User kleing
# Date 1234777515 -39600
# Node ID 9e903a645d8f0c2490decb5f636f1253a2f86a65
# Parent  66c5cc1e60a9c72d4a5b41db629a9a24dc491d34
enable auto-solve by default

diff -r 66c5cc1e60a9 -r 9e903a645d8f src/Pure/ProofGeneral/ROOT.ML
--- a/src/Pure/ProofGeneral/ROOT.ML	Mon Feb 16 10:15:43 2009 +0100
+++ b/src/Pure/ProofGeneral/ROOT.ML	Mon Feb 16 20:45:15 2009 +1100
@@ -18,7 +18,7 @@
   |> setmp Proofterm.proofs 1
   |> setmp quick_and_dirty true
   |> setmp auto_quickcheck true
-  |> setmp auto_solve false) "preferences.ML";
+  |> setmp auto_solve true) "preferences.ML";
 
 use "pgip_parser.ML";