src/Pure/ML-Systems/ml_pretty.ML
Sat, 19 Dec 2015 19:52:52 +0100 wenzelm clarified underlying datatypes;
Sat, 19 Dec 2015 14:47:52 +0100 wenzelm support for blocks with consistent breaks;
Thu, 17 Dec 2015 17:32:01 +0100 wenzelm support pretty break indent, like underlying ML systems;
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);
Sat, 21 Mar 2009 19:58:44 +0100 wenzelm simplified datatype ML_Pretty.pretty: model Isabelle not Poly/ML;
Sat, 21 Mar 2009 15:09:44 +0100 wenzelm Datatype for ML pretty printing (cf. mlsource/MLCompiler/Pretty.sml in Poly/ML 5.3).
less more (0) tip