#1783 (Oct 1, 2022, 12:50:08 AM)

1. clarified signature; (detail / hgweb)
2. more explanations on the new order prover (based on 10945fc183cd), without violating strict monotonicity of NEWS wrt. official releases; (detail / hgweb)
3. restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd; (detail / hgweb)
4. added documentation about new order prover
   
   - new prover for partial and linear orders by Lukas Stevens and Tobias Nipkow
   
   - See NEWS for more context (detail / hgweb)
5. tweaked (detail / hgweb)
6. tweaked; (detail / hgweb)

Started by an SCM change

This run spent:

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