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.
default to maximum max_threads;
authorwenzelm
Tue, 30 Jun 2009 22:12:46 +0200
changeset 31897 15d55d07de8b
parent 31896 da0dc1310139
child 31898 82d5190ff7c8
default to maximum max_threads;
src/Pure/ML-Systems/multithreading_polyml.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/multithreading_polyml.ML	Tue Jun 30 22:05:07 2009 +0200
+++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Tue Jun 30 22:12:46 2009 +0200
@@ -38,7 +38,7 @@
 
 val available = true;
 
-val max_threads = ref 1;
+val max_threads = ref 0;
 
 val tested_platform =
   let val ml_platform = getenv "ML_PLATFORM"
isabelle