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.
schedule_tasks: single theory is loaded concurrently as well (cf. concurrent Toplevel.excursion);
authorwenzelm
Tue, 30 Sep 2008 22:02:55 +0200
changeset 28435 97de495414e8
parent 28434 56f0951f4d26
child 28436 4faf705a177d
schedule_tasks: single theory is loaded concurrently as well (cf. concurrent Toplevel.excursion);
src/Pure/Thy/thy_info.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_info.ML	Tue Sep 30 22:02:53 2008 +0200
+++ b/src/Pure/Thy/thy_info.ML	Tue Sep 30 22:02:55 2008 +0200
@@ -367,7 +367,7 @@
 
 fun schedule_tasks tasks n =
   let val m = Multithreading.max_threads_value () in
-    if m <= 1 orelse n <= 1 then schedule_seq tasks
+    if m <= 1 then schedule_seq tasks
     else if Multithreading.self_critical () then
      (warning (loader_msg "no multithreading within critical section" []);
       schedule_seq tasks)
isabelle