src/Pure/ML/ml_lex.scala
2017-01-07 wenzelm 2017-01-07 tuned signature;
2016-08-05 wenzelm 2016-08-05 Sidekick parser for isabelle-ml and sml mode;
2016-06-01 wenzelm 2016-06-01 support rat numerals via special antiquotation syntax;
2015-11-07 wenzelm 2015-11-07 ML cartouches via control antiquotation;
2015-10-18 wenzelm 2015-10-18 support control symbol antiquotations;
2015-05-03 wenzelm 2015-05-03 misc tuning, based on warnings by IntelliJ IDEA;
2014-12-08 wenzelm 2014-12-08 expand ML cartouches to Input.source; tuned signature;
2014-12-08 wenzelm 2014-12-08 tuned comment;
2014-12-08 wenzelm 2014-12-08 clarified Isabelle/ML strings (refining 72238ea2201c);
2014-11-07 wenzelm 2014-11-07 tuned markup;
2014-03-25 wenzelm 2014-03-25 separate tokenization and language context for SML: no symbols, no antiquotes;
2014-02-16 wenzelm 2014-02-16 support ML antiquotations in Scala; tuned -- more uniform ML vs. Scala;
2014-02-16 wenzelm 2014-02-16 tuned signature -- emphasize line-oriented aspect;
2014-02-15 wenzelm 2014-02-15 more uniform ML keyword markup; tuned;
2014-02-15 wenzelm 2014-02-15 clarified Isabelle/ML strings;
2014-02-15 wenzelm 2014-02-15 refined ML keyword styles;
2014-02-15 wenzelm 2014-02-15 isabelle-ml mode with separate token marker; clarified ML_Lex.gap_start: end-of-input counts as single newline;
2014-02-15 wenzelm 2014-02-15 partial scans via ML_Lex.tokenize_context; simplified ML_char: no gaps (hardly relevant in practice); tuned;
2014-02-14 wenzelm 2014-02-14 lexical syntax for SML (in Scala); tuned;