# HG changeset patch
# User wenzelm
# Date 1221132259 -7200
# Node ID 5ef2c4bde4e5b90d5c930f02bb6cf7877d9a1cb0
# Parent  e63d05ceec2407caf34c0b03c6f7c99cefb50528
separate Concurrent/ROOT.ML;

diff -r e63d05ceec24 -r 5ef2c4bde4e5 src/Pure/Concurrent/ROOT.ML
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Concurrent/ROOT.ML	Thu Sep 11 13:24:19 2008 +0200
@@ -0,0 +1,11 @@
+(*  Title:      Pure/General/ROOT.ML
+    ID:         $Id$
+
+Concurrency within the ML runtime.
+*)
+
+use "mailbox.ML";
+use "schedule.ML";
+use "task_queue.ML";
+use "future.ML";
+use "par_list.ML";
diff -r e63d05ceec24 -r 5ef2c4bde4e5 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Thu Sep 11 13:24:14 2008 +0200
+++ b/src/Pure/ROOT.ML	Thu Sep 11 13:24:19 2008 +0200
@@ -21,12 +21,7 @@
 use "library.ML";
 
 cd "General"; use "ROOT.ML"; cd "..";
-
-(*concurrency within the ML runtime*)
-use "Concurrent/mailbox.ML";
-use "Concurrent/schedule.ML";
-use "Concurrent/task_queue.ML";
-use "Concurrent/future.ML";
+cd "Concurrent"; use "ROOT.ML"; cd "..";
 
 (*fundamental structures*)
 use "name.ML";