#565 (Dec 4, 2023, 11:45:12 PM)

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

1. merged (detail)
2. more zproofs;
   misc tuning and clarification; (detail)
3. tuned; (detail)
4. tuned; (detail)
5. more operations;
   tuned semicolons; (detail)
6. clarified modules;
   more source positions; (detail)
7. more zterm operations;
   more zproofs; (detail)

Started by an SCM change

This run spent:

• 2 min 4 sec waiting;
• 3 hr 20 min build duration;
• 3 hr 22 min total from scheduled to completion.