src/Pure/ROOT
changeset 50911 ee7fe4230642
parent 50800 c0fb2839d1a9
child 51397 03b586ee5930
     1.1 --- a/src/Pure/ROOT	Wed Jan 16 11:31:08 2013 +0100
     1.2 +++ b/src/Pure/ROOT	Wed Jan 16 16:26:36 2013 +0100
     1.3 @@ -139,6 +139,8 @@
     1.4      "ML/ml_compiler_polyml.ML"
     1.5      "ML/ml_context.ML"
     1.6      "ML/ml_env.ML"
     1.7 +    "ML/exn_properties_dummy.ML"
     1.8 +    "ML/exn_properties_polyml.ML"
     1.9      "ML/ml_lex.ML"
    1.10      "ML/ml_parse.ML"
    1.11      "ML/ml_statistics_dummy.ML"