Isabelle_Process: do not enforce future_terminal_proof by default -- no error propagation yet;
authorwenzelm
Sun May 30 13:47:12 2010 +0200 (2010-05-30 ago)
changeset 37191beb9a8695263
parent 37190 ea52509f4c42
child 37192 8cdddd689ea9
Isabelle_Process: do not enforce future_terminal_proof by default -- no error propagation yet;
src/Pure/System/isabelle_process.ML
     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;