src/Pure/ML-Systems/ml_pretty.ML
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-03-21 ago simplified datatype ML_Pretty.pretty: model Isabelle not Poly/ML;
2009-03-21 ago Datatype for ML pretty printing (cf. mlsource/MLCompiler/Pretty.sml in Poly/ML 5.3).