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.
tuned;
authorwenzelm
Thu, 15 Jan 2015 11:39:58 +0100
changeset 59368 100db5cf5be5
parent 59367 6193bbbbe564
child 59369 7090199d3f78
tuned;
src/Pure/Tools/build.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/build.ML	Wed Jan 14 17:24:55 2015 +0100
+++ b/src/Pure/Tools/build.ML	Thu Jan 15 11:39:58 2015 +0100
@@ -111,8 +111,8 @@
         |> Unsynchronized.setmp print_mode
             (space_explode "," (Options.string options "print_mode") @ print_mode_value ())
         |> Unsynchronized.setmp Goal.parallel_proofs (Options.int options "parallel_proofs")
+        |> Multithreading.max_threads_setmp (Options.int options "threads")
         |> Unsynchronized.setmp Multithreading.trace (Options.int options "threads_trace")
-        |> Multithreading.max_threads_setmp (Options.int options "threads")
         |> Unsynchronized.setmp Future.ML_statistics true) thys)
     else
       Output.physical_stderr ("Skipping theories " ^ commas_quote (map #1 thys) ^
isabelle