# HG changeset patch
# User wenzelm
# Date 1275220032 -7200
# Node ID beb9a869526370b402089c88c9c0ab98f97f114b
# Parent  ea52509f4c423ccc9f37a1ecac652c42094025c9
Isabelle_Process: do not enforce future_terminal_proof by default -- no error propagation yet;

diff -r ea52509f4c42 -r beb9a8695263 src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Sun May 30 13:44:35 2010 +0200
+++ b/src/Pure/System/isabelle_process.ML	Sun May 30 13:47:12 2010 +0200
@@ -93,7 +93,6 @@
   setup_channels out |> init_message;
   Keyword.report ();
   Output.status (Markup.markup Markup.ready "");
-  Goal.parallel_proofs := 3;
   Isar.toplevel_loop {init = true, welcome = false, sync = true, secure = true});
 
 end;