src/Pure/ML/ml_syntax.ML
2017-05-26 wenzelm 2017-05-26 more correct and complete output of control characters;
2016-04-02 wenzelm 2016-04-02 careful export of type-dependent functions, without losing their special status;
2016-03-18 wenzelm 2016-03-18 clarified modules; tuned signature;
2016-03-06 wenzelm 2016-03-06 clarified ML syntax for strings concerning UTF8;
2014-11-11 wenzelm 2014-11-11 more position information, e.g. relevant for errors in generated ML source;
2014-03-17 wenzelm 2014-03-17 more robust machine-generated ML sources: constructors for typ and term sometimes occur elsewhere;
2012-11-26 wenzelm 2012-11-26 more uniform Symbol.is_ascii_identifier in ML/Scala;
2011-07-16 wenzelm 2011-07-16 added File.fold_pages for streaming of large files; prefer \f notation;
2011-04-08 wenzelm 2011-04-08 discontinued special treatment of structure Lexicon;
2011-03-22 wenzelm 2011-03-22 pretty_string: proper handling of negative max_len;
2011-01-10 wenzelm 2011-01-10 eliminated Int.toString;
2010-12-29 wenzelm 2010-12-29 tuned ML toplevel pp for type string: observe depth limit;
2010-11-19 wenzelm 2010-11-19 total Symbol.explode (cf. 1050315f6ee2);
2010-09-17 wenzelm 2010-09-17 ML_Syntax.print_char: more readable output of some well-known ASCII controls -- this is relevant for ML toplevel pp;
2010-06-24 wenzelm 2010-06-24 ML pretty printing of type string according to (quasi-abstract) YXML markup and symbols (including UTF8);
2009-06-10 wenzelm 2009-06-10 allow Isabelle symbols within low-level ML source;
2009-03-15 wenzelm 2009-03-15 added make_binding;
2009-03-03 wenzelm 2009-03-03 added print_properties, print_position (again);
2009-01-21 wenzelm 2009-01-21 removed Ids;
2008-03-24 wenzelm 2008-03-24 removed unused print_properties, print_position;
2008-03-20 wenzelm 2008-03-20 added print_properties, print_position;
2007-09-15 wenzelm 2007-09-15 ML_Lex.keywords; tuned comments;
2007-09-14 wenzelm 2007-09-14 moved ML_XXX.ML files to Pure/ML;