#1883 (Feb 6, 2023, 12:50:08 AM)

1. more diagnostic operations (see also 5c7652e9bc01); (detail / hgweb)
2. more thorough consolidation: follow dependencies of forked proofs (e.g. see theories MaxPrefix vs. MaxChop in AFP/Functional-Automata); (detail / hgweb)
3. clarified signature selection: SortedSet[String], which fits better to stored json and works properly on Windows (NB: document theories have an authentic session-theory name); (detail / hgweb)
4. tuned; (detail / hgweb)
5. clarified modules; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. update to polyml-5e9c8155ea96, which is more robust on arm64; (detail / hgweb)
8. more robust dependencies for Pure; (detail / hgweb)
9. proper compiler root for arm64; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.2 sec waiting;
• 1 hr 53 min build duration;
• 1 hr 53 min total from scheduled to completion.