added future_scheduler flag (tmp!), from skip_proofs.ML;
added Concurrent/par_list_dummy.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";
+