Syntax.(un)check: explicit result option;

apply_wrappers: perhaps_apply/loop;

added perhaps_apply/loop;

Mark A. Hillebrand, DFKI: Robust sub/superscripts in LaTeX document output.

updated;

DeclareRobustCommand isascriptstyle (enables sub/superscripts within section headings etc.);

tuned Const.the_abbreviation;

misc cleanup of abbrev/local_const;

added revert_abbrev;
contract_abbrevs: ignore Syntax.internalM (changed meaning of this special case);
print_abbrevs: proper treatment of global consts (after local/global swap);

add_bind: close_schematic_term;