Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
enable parallel terminal proofs in interaction;
authorwenzelm
Tue, 04 Sep 2012 00:16:03 +0200
changeset 49108 61e222517d06
parent 49107 ec34e9df0514
child 49109 0e5b859e1c91
enable parallel terminal proofs in interaction;
src/Pure/System/isabelle_process.ML file | annotate | diff | comparison | revisions 
--- 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 ();
isabelle