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