#1303 (Oct 13, 2020, 12:50:06 AM)

1. add reconstruction for the SMT solver veriT
   * * *
   Improved veriT reconstruction (detail / hgweb)
2. NEWS; (detail / hgweb)
3. activate E 2.5 for production use (see also 5d1a7b688f6d);
   rebuild component according to current "isabelle build_e" and PLATFORMS; (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. clarified Executable.libraries_closure; (detail / hgweb)
6. dedicated module for toplevel target handling (detail / hgweb)
7. avoid _cmd suffix where no Isar command is involved (detail / hgweb)
8. replaced combinators by more conventional nesting pattern (detail / hgweb)
9. consolidated names and operations (detail / hgweb)
10. centralized case distinction for beginning and ending nested targets in one place (detail / hgweb)

Started by an SCM change

This run spent:

• 5 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 28 min total from scheduled to completion.