changeset 38635 | f76ad0771f67 |
parent 38483 | 3d16bebee1d3 |
child 38837 | b47ee8df7ab4 |
--- a/src/Pure/IsaMakefile Mon Aug 23 12:06:47 2010 +0200 +++ b/src/Pure/IsaMakefile Mon Aug 23 15:11:41 2010 +0200 @@ -32,6 +32,7 @@ ML-Systems/polyml-5.2.ML \ ML-Systems/polyml.ML \ ML-Systems/polyml_common.ML \ + ML-Systems/pp_dummy.ML \ ML-Systems/pp_polyml.ML \ ML-Systems/proper_int.ML \ ML-Systems/single_assignment.ML \