#1591 (Nov 5, 2021, 12:50:10 AM)

1. merged (detail / hgweb)
2. clarified Theory_Cache: prefer immutable data with Synchronized variable;
   clarified Export_Theory.Theory vs. Entity tables;
   entity_ref: proper treatment of entity kind; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. unused; (detail / hgweb)
5. proper support of verit's return code for timeout (detail / hgweb)
6. tuned whitespace; (detail / hgweb)
7. updated to verit-2021.06.1-rmx, to address "Abnormal termination with exit code 14"; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. prefer official Export.explode_name;
   avoid string interpolation: Isabelle/Scala is closer to Isabelle/ML than Python/Perl; (detail / hgweb)
10. tuned; (detail / hgweb)
11. avoid conflict with future keyword; (detail / hgweb)
12. tuned messages; (detail / hgweb)
13. clarified signature: more direct XML.symbol_length; (detail / hgweb)
14. more direct Symbol.length: Symbol.decode is redundant, symbol counts are invariant under it; (detail / hgweb)
15. tuned -- eliminate clones stemming from d28a51dd9da6; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.7 sec waiting;
• 1 hr 39 min build duration;
• 1 hr 39 min total from scheduled to completion.