src/Pure/ROOT.ML
changeset 54717 42c209a6c225
parent 54449 f3cfe882f9af
child 54740 91f54d386680
     1.1 --- a/src/Pure/ROOT.ML	Wed Dec 11 00:17:09 2013 +0000
     1.2 +++ b/src/Pure/ROOT.ML	Wed Dec 11 18:02:22 2013 +0100
     1.3 @@ -76,10 +76,13 @@
     1.4  else use "ML/exn_properties_dummy.ML";
     1.5  
     1.6  if ML_System.name = "polyml-5.5.1"
     1.7 +  orelse ML_System.name = "polyml-5.5.2"
     1.8  then use "ML/exn_trace_polyml-5.5.1.ML"
     1.9  else ();
    1.10  
    1.11 -if ML_System.name = "polyml-5.5.0" orelse ML_System.name = "polyml-5.5.1"
    1.12 +if ML_System.name = "polyml-5.5.0"
    1.13 +  orelse ML_System.name = "polyml-5.5.1"
    1.14 +  orelse ML_System.name = "polyml-5.5.2"
    1.15  then use "ML/ml_statistics_polyml-5.5.0.ML"
    1.16  else use "ML/ml_statistics_dummy.ML";
    1.17  
    1.18 @@ -347,5 +350,4 @@
    1.19  val cd = File.cd o Path.explode;
    1.20  
    1.21  Proofterm.proofs := 0;
    1.22 -Multithreading.max_threads := 0;
    1.23