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 options;
authorwenzelm
Tue, 24 Jul 2012 10:43:13 +0200
changeset 48460 20170ae271a5
parent 48459 375e45df6fdf
child 48461 96c1ef26aabe
tuned options;
etc/options file | annotate | diff | comparison | revisions
src/Pure/System/build.ML file | annotate | diff | comparison | revisions 
--- a/etc/options	Tue Jul 24 10:39:03 2012 +0200
+++ b/etc/options	Tue Jul 24 10:43:13 2012 +0200
@@ -8,7 +8,7 @@
 declare document_dump : string = ""
 declare no_document : bool = false
 
-declare threads_limit : int = 1
+declare threads : int = 1
 declare threads_trace : int = 0
 declare parallel_proofs : int = 1
 declare parallel_proofs_threshold : int = 100
--- a/src/Pure/System/build.ML	Tue Jul 24 10:39:03 2012 +0200
+++ b/src/Pure/System/build.ML	Tue Jul 24 10:43:13 2012 +0200
@@ -21,7 +21,7 @@
     |> Unsynchronized.setmp Goal.parallel_proofs_threshold
         (Options.int options "parallel_proofs_threshold")
     |> Unsynchronized.setmp Multithreading.trace (Options.int options "threads_trace")
-    |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads_limit")
+    |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads")
     |> Options.bool options "no_document" ? Present.no_document;
 
 fun build args_file =
isabelle