# HG changeset patch
# User wenzelm
# Date 1346710563 -7200
# Node ID 61e222517d06ae964936e9553560b14bb8ded767
# Parent  ec34e9df05142f68756716f846c02c1e6cc13898
enable parallel terminal proofs in interaction;

diff -r ec34e9df0514 -r 61e222517d06 src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Mon Sep 03 23:03:54 2012 +0200
+++ b/src/Pure/System/isabelle_process.ML	Tue Sep 04 00:16:03 2012 +0200
@@ -167,7 +167,7 @@
     val _ = Output.physical_stderr Symbol.STX;
 
     val _ = quick_and_dirty := false;
-    val _ = Goal.parallel_proofs := 0;
+    val _ = Goal.parallel_proofs := 4;
     val _ =
       if Multithreading.max_threads_value () < 2
       then Multithreading.max_threads := 2 else ();