src/Pure/ML-Systems/polyml-5.2.ML
2010-09-22 ago renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
2010-08-23 ago added ML toplevel pretty-printing for tables, using dummy for anything other than Poly/ML 5.3.0 (or later);
2009-11-09 ago setup for official Poly/ML 5.3.0, which is now the default;