more static antiquotations;

always show some timing information, to reduce the need for explicit -v;

some information for central Isabelle repository configuration;

reduced settings patching

removed obsolete configuration AFP_images

faster compilation of ML with antiquotations: static ML_context is bound once in auxiliary structure Isabelle;

simplified symbol matching;

further clarification of malformed symbols;

more liberal scanning of potentially malformed symbols;

vacuous execution after first malformed command;

clarified Command.range vs. Command.proper_range according to Scala version, which is potentially relevant for command status markup;

tuned markup;

tuned message;

clarified "bad" markup: proper body text, invent missing serial on Scala side (counting backwards);