src/Pure/ML-Systems/install_pp_polyml.ML
2009-05-31 wenzelm 2009-05-31 explicit PolyML.install_pp;
2009-01-19 wenzelm 2009-01-19 removed Ids;
2008-12-04 wenzelm 2008-12-04 renamed type Lazy.T to lazy; renamed type Future.T to future;
2008-10-23 wenzelm 2008-10-23 renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy;
2008-10-23 wenzelm 2008-10-23 adapted Susp.peek;
2008-10-13 wenzelm 2008-10-13 tuned output;
2008-10-09 wenzelm 2008-10-09 extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML;