| changeset 32737 | 76fa673eee8b |
| parent 32736 | f126e68d003d |
| child 32815 | 1a5e364584ae |
--- a/src/Pure/IsaMakefile Mon Sep 28 23:51:13 2009 +0200 +++ b/src/Pure/IsaMakefile Tue Sep 29 11:48:32 2009 +0200 @@ -32,7 +32,7 @@ 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/timing.ML ML-Systems/time_limit.ML \ - ML-Systems/universal.ML + ML-Systems/universal.ML ML-Systems/unsynchronized.ML RAW: $(OUT)/RAW