src/Pure/ML-Systems/ml_pretty.ML
2015-12-17 wenzelm 2015-12-17 support pretty break indent, like underlying ML systems;
2010-08-23 wenzelm 2010-08-23 added ML toplevel pretty-printing for tables, using dummy for anything other than Poly/ML 5.3.0 (or later);
2009-03-21 wenzelm 2009-03-21 simplified datatype ML_Pretty.pretty: model Isabelle not Poly/ML;
2009-03-21 wenzelm 2009-03-21 Datatype for ML pretty printing (cf. mlsource/MLCompiler/Pretty.sml in Poly/ML 5.3).