| changeset 31686 | e54ae15335a1 |
| parent 31648 | 31b1f296515b |
| child 31702 | 1494ded298a6 |
--- a/src/Pure/IsaMakefile Wed Jun 17 17:06:07 2009 +0200 +++ b/src/Pure/IsaMakefile Wed Jun 17 17:06:07 2009 +0200 @@ -29,7 +29,8 @@ ML-Systems/polyml.ML ML-Systems/polyml_common.ML \ ML-Systems/pp_polyml.ML ML-Systems/proper_int.ML ML-Systems/smlnj.ML \ ML-Systems/system_shell.ML ML-Systems/thread_dummy.ML \ - ML-Systems/time_limit.ML ML-Systems/universal.ML + ML-Systems/timing.ML ML-Systems/time_limit.ML \ + ML-Systems/universal.ML RAW: $(OUT)/RAW