src/Pure/ML/ml_antiquotation.ML
2016-12-13 wenzelm 2016-12-13 more symbols;
2016-04-07 wenzelm 2016-04-07 simplified default print_depth: context is usually available, in contrast to 0d295e339f52;
2016-04-07 wenzelm 2016-04-07 clarified bootstrap of @{make_string} -- avoid query on ML environment;
2016-04-04 wenzelm 2016-04-04 clarified conditional compilation;
2016-03-17 wenzelm 2016-03-17 @{make_string} is available during Pure bootstrap;
2014-12-08 wenzelm 2014-12-08 expand ML cartouches to Input.source; tuned signature;
2014-08-19 wenzelm 2014-08-19 tuned signature -- moved type src to Token, without aliases;
2014-07-31 wenzelm 2014-07-31 clarified compile-time use of ML_print_depth;
2014-05-01 haftmann 2014-05-01 optional case enforcement
2014-04-06 wenzelm 2014-04-06 more source positions;
2014-03-18 wenzelm 2014-03-18 clarified modules; more antiquotations for antiquotations;
2014-03-12 wenzelm 2014-03-12 tuned signature -- clarified module name;