#1780 (Sep 28, 2022, 12:50:08 AM)

1. added a couple of structured proofs (detail / hgweb)
2. More obsolete "unfold" calls (detail / hgweb)
3. getting rid of apply (unfold ...) (detail / hgweb)
4. More syntactic cleanup. LaTeX markup working (detail / hgweb)
5. more modernisation of syntax (detail / hgweb)
6. Removal of obsolete ASCII syntax (detail / hgweb)
7. clarified options; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.4 sec waiting;
• 1 hr 51 min build duration;
• 1 hr 51 min total from scheduled to completion.