#4101 (Nov 21, 2022, 6:30:20 PM)

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

1. merged (detail / hgweb)
2. strengthened and renamed lemma reflp_on_equality (detail / hgweb)
3. renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_(ge|le) (detail / hgweb)

Started by an SCM change

This run spent:

• 3 min 18 sec waiting;
• 3 hr 57 min build duration;
• 4 hr 0 min total from scheduled to completion.