#899 (Mar 25, 2019, 12:50:11 AM)

1. more accurate HTML rendering; (detail / hgweb)
2. clarified markup; (detail / hgweb)
3. clarified rendering, notably of \<^latex>CARTOUCHE in outer syntax; (detail / hgweb)
4. tuned; (detail / hgweb)
5. clarified spell-checking (see also 30233285270a); (detail / hgweb)
6. more accurate markup; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. more markup for various text kinds, notably for nested formal comments; (detail / hgweb)
9. tuned whitespace; (detail / hgweb)
10. clarified rendering: use COMMENT4 elsewhere; (detail / hgweb)
11. documentation of document markers and re-interpreted command tags; (detail / hgweb)

Started by an SCM change

This run spent:

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