#1423 (Mar 19, 2021, 12:50:09 AM)

1. more accurate glyphs 0x25C1 / 0x25B7, based on 0x2A64 / 0x2A65 minus the "minus"; (detail / hgweb)
2. clarified order for GUI panel; (detail / hgweb)
3. prefer more direct interpretation (detail / hgweb)
4. more Z_Notation symbols, as proposed by Simon Foster; (detail / hgweb)
5. more accurate spacing, according to results seen in isar-ref (Appendix B), using 12pt or 10pt; (detail / hgweb)
6. clarified order for presentation in isar-ref (Appendix B); (detail / hgweb)
7. prefer explicit \<Zproject> (with its own Unicode codepoint); (detail / hgweb)

Started by an SCM change

This run spent:

• 8.8 sec waiting;
• 1 hr 32 min build duration;
• 1 hr 32 min total from scheduled to completion.