#708 (Aug 16, 2018, 12:50:07 AM)

1. updated common hosts; (detail / hgweb)
2. merged (detail / hgweb)
3. Added tag Isabelle2018 for changeset 91162dd89571 (detail / hgweb)
4. merged (detail / hgweb)
5. canonical session directories in correspondence to Known.files; (detail / hgweb)
6. Zorn's lemma for relations defined by predicates (detail / hgweb)

Started by an SCM change

This run spent:

• 5.2 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 13 min total from scheduled to completion.