#743 (Sep 22, 2018, 12:50:08 AM)

1. merged (detail / hgweb)
2. more on product (function) topologies (detail / hgweb)
3. clarified locale content: proper args with types for interpretation/axioms and typargs derived from the result; (detail / hgweb)
4. clarified error; (detail / hgweb)
5. clarified errors; (detail / hgweb)
6. suppress some theories to allow "isabelle dump -o skip_proofs"; (detail / hgweb)
7. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.1 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.