added Concurrent/mailbox.ML;
authorwenzelm
Thu Sep 04 19:45:12 2008 +0200 (2008-09-04)
changeset 281341179b32f885d
parent 28133 218252dfd81e
child 28135 4f6f0496e93c
added Concurrent/mailbox.ML;
src/Pure/IsaMakefile
src/Pure/ROOT.ML
     1.1 --- a/src/Pure/IsaMakefile	Thu Sep 04 17:24:18 2008 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Thu Sep 04 19:45:12 2008 +0200
     1.3 @@ -23,7 +23,8 @@
     1.4  
     1.5  Pure: $(OUT)/Pure
     1.6  
     1.7 -$(OUT)/Pure: Concurrent/schedule.ML General/ROOT.ML General/alist.ML	\
     1.8 +$(OUT)/Pure: Concurrent/mailbox.ML Concurrent/receiver.ML		\
     1.9 +  Concurrent/schedule.ML General/ROOT.ML General/alist.ML		\
    1.10    General/balanced_tree.ML General/basics.ML General/buffer.ML		\
    1.11    General/file.ML General/graph.ML General/heap.ML General/integer.ML	\
    1.12    General/markup.ML General/name_space.ML General/ord_list.ML		\
     2.1 --- a/src/Pure/ROOT.ML	Thu Sep 04 17:24:18 2008 +0200
     2.2 +++ b/src/Pure/ROOT.ML	Thu Sep 04 19:45:12 2008 +0200
     2.3 @@ -23,6 +23,7 @@
     2.4  cd "General"; use "ROOT.ML"; cd "..";
     2.5  
     2.6  (*concurrency within the ML runtime*)
     2.7 +use "Concurrent/mailbox.ML";
     2.8  use "Concurrent/schedule.ML";
     2.9  
    2.10  (*fundamental structures*)