| changeset 40393 | 2bb7ec08574a |
| parent 40234 | 39af96cc57cb |
| child 40743 | b07a0dbc8a38 |
--- a/src/Pure/IsaMakefile Sat Nov 06 16:53:07 2010 +0100 +++ b/src/Pure/IsaMakefile Sat Nov 06 17:55:32 2010 +0100 @@ -21,6 +21,7 @@ BOOTSTRAP_FILES = \ General/exn.ML \ + General/timing.ML \ ML-Systems/bash.ML \ ML-Systems/compiler_polyml-5.2.ML \ ML-Systems/compiler_polyml-5.3.ML \ @@ -41,7 +42,6 @@ ML-Systems/smlnj.ML \ ML-Systems/thread_dummy.ML \ ML-Systems/time_limit.ML \ - ML-Systems/timing.ML \ ML-Systems/universal.ML \ ML-Systems/unsynchronized.ML \ ML-Systems/use_context.ML