allow cartouche within ML string;

clarified modules;
more operations;

tuned;

support for formal comments in ML in Isabelle/Scala;

tuned;

proper treatment of multi-line cartouche as rudiment of antiquotation, e.g. relevant for syntax-highlighting in Isabelle/jEdit;

tuned signature;

Sidekick parser for isabelle-ml and sml mode;

support rat numerals via special antiquotation syntax;

ML cartouches via control antiquotation;

support control symbol antiquotations;

expand ML cartouches to Input.source;
tuned signature;

tuned comment;

clarified Isabelle/ML strings (refining 72238ea2201c);

misc tuning, based on warnings by IntelliJ IDEA;

tuned markup;

separate tokenization and language context for SML: no symbols, no antiquotes;

support ML antiquotations in Scala;
tuned -- more uniform ML vs. Scala;

tuned signature -- emphasize line-oriented aspect;

more uniform ML keyword markup;
tuned;

clarified Isabelle/ML strings;

refined ML keyword styles;

isabelle-ml mode with separate token marker;
clarified ML_Lex.gap_start: end-of-input counts as single newline;

partial scans via ML_Lex.tokenize_context;
simplified ML_char: no gaps (hardly relevant in practice);
tuned;

lexical syntax for SML (in Scala);
tuned;