#524 (Jan 10, 2018, 12:50:08 AM)

1. more accurate spell-checking for nested quotations / antiquotations, notably in formal comments; (detail / hgweb)
2. uniform typesetting of \isamarkupcmt and \isasymcomment; (detail / hgweb)
3. more accurate position for enclosing cartouche; (detail / hgweb)
4. tuned; (detail / hgweb)
5. clarified signature; (detail / hgweb)
6. clarified presentation_state with provide presentation_context; (detail / hgweb)
7. show only symbols with code; (detail / hgweb)
8. clarified markup: more like outer syntax side-comment; (detail / hgweb)
9. clarified rail token language: white space and formal comments; (detail / hgweb)
10. clarified modules; (detail / hgweb)
11. removed duplicate text; (detail / hgweb)
12. clarified exception; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.9 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 28 min total from scheduled to completion.