# HG changeset patch
# User wenzelm
# Date 1223578394 -7200
# Node ID c81f6344bfb71d154d074d41a623d20bd680c970
# Parent  d57bfb44c9e583c19ca8495251b19974c3e4da40
added future_scheduler flag (tmp!), from skip_proofs.ML;
added Concurrent/par_list_dummy.ML;

diff -r d57bfb44c9e5 -r c81f6344bfb7 src/Pure/Concurrent/ROOT.ML
--- a/src/Pure/Concurrent/ROOT.ML	Thu Oct 09 20:53:13 2008 +0200
+++ b/src/Pure/Concurrent/ROOT.ML	Thu Oct 09 20:53:14 2008 +0200
@@ -4,9 +4,13 @@
 Concurrency within the ML runtime.
 *)
 
+val future_scheduler = ref false;
+
 use "simple_thread.ML";
 use "mailbox.ML";
 use "schedule.ML";
 use "task_queue.ML";
 use "future.ML";
 use "par_list.ML";
+if Multithreading.available then () else use "par_list_dummy.ML";
+