src/Pure/ML-Systems/install_pp_polyml-experimental.ML
2009-05-31 wenzelm 2009-05-31 explicit PolyML qualification;
2009-05-31 wenzelm 2009-05-31 more precise version information;
2009-03-24 wenzelm 2009-03-24 simplified addPrettyPrinter setup: may pass (fn ...) directly if type constraints are omitted -- addPrettyPrinter treated as a special case internally;
2009-03-21 wenzelm 2009-03-21 extra toplevel pretty-printing for Poly/ML; experimental version for Poly/ML 5.3;