Isabelle_Process: do not enforce future_terminal_proof by default -- no error propagation yet;

--- 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;