#2081 (Oct 1, 2022, 1:33:08 AM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. clarified signature; (detail)
2. more explanations on the new order prover (based on 10945fc183cd), without violating strict monotonicity of NEWS wrt. official releases; (detail)
3. restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd; (detail)
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)
5. tweaked (detail)
6. tweaked; (detail)

Started by an SCM change

This run spent:

• 6.4 sec waiting;
• 10 hr build duration;
• 10 hr total from scheduled to completion.