*** MESSAGE REFERS TO PREVIOUS VERSION ***
authorwenzelm
Sun Sep 07 17:48:49 2008 +0200 (2008-09-07)
changeset 2815367147cc3f967
parent 28152 c1277547d59f
child 28154 3c3663e24ba7
*** MESSAGE REFERS TO PREVIOUS VERSION ***
removed dummy thread structures from multithreading.ML;
src/Pure/ML-Systems/polyml-5.1.ML
src/Pure/ML-Systems/polyml.ML
     1.1 --- a/src/Pure/ML-Systems/polyml-5.1.ML	Sun Sep 07 17:46:44 2008 +0200
     1.2 +++ b/src/Pure/ML-Systems/polyml-5.1.ML	Sun Sep 07 17:48:49 2008 +0200
     1.3 @@ -10,4 +10,3 @@
     1.4  use "ML-Systems/polyml_old_compiler5.ML";
     1.5  
     1.6  val pointer_eq = PolyML.pointerEq;
     1.7 -
     2.1 --- a/src/Pure/ML-Systems/polyml.ML	Sun Sep 07 17:46:44 2008 +0200
     2.2 +++ b/src/Pure/ML-Systems/polyml.ML	Sun Sep 07 17:48:49 2008 +0200
     2.3 @@ -56,4 +56,3 @@
     2.4    in use_text tune str_of_pos (1, name) output verbose txt end;
     2.5  
     2.6  end;
     2.7 -