changeset 42012 | 2c3fe3cbebae |
parent 41718 | 05514b09bb4b |
child 42138 | e54a985daa61 |
--- a/src/Pure/IsaMakefile Sun Mar 20 21:20:07 2011 +0100 +++ b/src/Pure/IsaMakefile Sun Mar 20 21:28:11 2011 +0100 @@ -21,7 +21,6 @@ BOOTSTRAP_FILES = \ General/exn.ML \ - General/timing.ML \ ML-Systems/compiler_polyml-5.2.ML \ ML-Systems/compiler_polyml-5.3.ML \ ML-Systems/ml_name_space.ML \ @@ -101,6 +100,7 @@ General/symbol.ML \ General/symbol_pos.ML \ General/table.ML \ + General/timing.ML \ General/url.ML \ General/xml.ML \ General/xml_data.ML \