#1590 (Nov 4, 2021, 12:50:09 AM)

1. more to ANNOUNCE; (detail / hgweb)
2. clarified link style: similar to Isabelle/jEdit; (detail / hgweb)
3. tuned; (detail / hgweb)
4. improved HTML presentation by Fabian Huch; (detail / hgweb)
5. proper HTTPS; (detail / hgweb)
6. proper markup type (amending be49c660ebbf); (detail / hgweb)
7. merged; (detail / hgweb)
8. more PIDE markup; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. more PIDE markup; (detail / hgweb)
11. recover library_index_content.template from c337c798f64c: required for website/build/main; (detail / hgweb)
12. merged (detail / hgweb)
13. simplified some ugly proofs (detail / hgweb)
14. more generous timeout: support build on Raspberry Pi; (detail / hgweb)
15. add documentation for pred_mono (detail / hgweb)
16. merged (detail / hgweb)
17. added "mono" attribute to BNF generated pred_mono theorems (detail / hgweb)
18. merged (detail / hgweb)
19. do not declare $let-bound variables in TPTP output (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 1 hr 39 min build duration;
• 1 hr 39 min total from scheduled to completion.