tuned;

tuned proofs;

more explicit markup and explanation of the improper status of 'back', following the AFP style-guide;

clarified Markup.operator vs. Markup.delimiter; tuned color;

more explicit markup for Token.Literal; Markup.quasi_keyword for Parse.$$$ -- it is used within Args.syntax as well; Markup.operator for name of Args.syntax, to override outer keywords like "where"; tuned signature;

tuned signature;

modernized setup;