src/Pure/ML/install_pp_polyml.ML
2012-05-24 wenzelm 2012-05-24 merged
2012-05-24 wenzelm 2012-05-24 simplified Poly/ML setup -- 5.3.0 is now the common base-line;
2011-07-11 wenzelm 2011-07-11 tuned signature -- corresponding to Scala version;
2010-08-11 wenzelm 2010-08-11 more precise and more maintainable dependencies;