| 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 |
| Sat, 21 Mar 2009 19:58:44 +0100 | wenzelm | simplified datatype ML_Pretty.pretty: model Isabelle not Poly/ML; | file | diff | annotate |
| Sat, 21 Mar 2009 15:09:44 +0100 | wenzelm | Datatype for ML pretty printing (cf. mlsource/MLCompiler/Pretty.sml in Poly/ML 5.3). | file | diff | annotate |