src/Pure/ML-Systems/polyml-4.1.4.ML
2008-03-24 wenzelm 2008-03-24 removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1);
2008-03-06 wenzelm 2008-03-06 rearrangements to make latest Poly/ML the default, not old 4.x;
2007-05-31 wenzelm 2007-05-31 TextIO.inputLine: use present SML B library version;