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); | file | diff | annotate |
Mon, 09 Nov 2009 21:30:54 +0100 | wenzelm | setup for official Poly/ML 5.3.0, which is now the default; | file | diff | annotate | base |