src/Pure/ML-Systems/polyml-5.2.ML
Wed, 22 Sep 2010 18:21:48 +0200 wenzelm renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
Mon, 23 Aug 2010 15:11:41 +0200 wenzelm added ML toplevel pretty-printing for tables, using dummy for anything other than Poly/ML 5.3.0 (or later);
Mon, 09 Nov 2009 21:30:54 +0100 wenzelm setup for official Poly/ML 5.3.0, which is now the default;
less more (0) tip