#2260 (Sep 26, 2020, 2:59:02 PM)

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

1. discontinued obsolete DVI document format and related settings/tools; (detail / hgweb)
2. clarified errors; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 0 sec waiting;
• 2 hr 26 min build duration;
• 2 hr 28 min total from scheduled to completion.

• Types_Tableaus_and_Goedels_God
• Regular_Algebras