src/Pure/System/isabelle_process.ML

--- a/src/Pure/System/isabelle_process.ML	Sat May 29 17:26:02 2010 +0200
+++ b/src/Pure/System/isabelle_process.ML	Sat May 29 19:46:29 2010 +0200
@@ -93,6 +93,7 @@
   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;