#990 (Aug 20, 2019, 12:50:11 AM)

1. merged (detail / hgweb)
2. clarified signature; (detail / hgweb)
3. clarified export of axioms and theorems (identified derivations instead of projected facts); (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. back to uniform serial (reverting 913b4afb6ac2): this allows to treat derivation id like name space entity id; (detail / hgweb)
6. module Thm_Name for Isabelle/Scala; (detail / hgweb)
7. tuned; (detail / hgweb)
8. clarified modules; (detail / hgweb)
9. tuned; (detail / hgweb)
10. tuned (detail / hgweb)
11. tuned names (detail / hgweb)

Started by an SCM change

This run spent:

• 9.4 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.