src/Pure/ML/ml_pretty.ML
2016-04-01 wenzelm 2016-04-01 adapted to Poly/ML repository version 2e40cadc975a;
2016-03-26 wenzelm 2016-03-26 avoid hardwired values;
2016-03-18 wenzelm 2016-03-18 clarified print depth;
2016-03-18 wenzelm 2016-03-18 clarified modules; tuned signature;
2016-03-17 wenzelm 2016-03-17 @{make_string} is available during Pure bootstrap;
2016-03-17 wenzelm 2016-03-17 clarified modules;
2016-03-03 wenzelm 2016-03-03 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;