#648 (Jun 2, 2018, 12:50:07 AM)

1. varify frees, notably dangling_params (see also e0cd57aeb60c); (detail / hgweb)
2. tuned -- more explicit expression; (detail / hgweb)
3. merged (detail / hgweb)
4. documentation for "isabelle dump"; (detail / hgweb)
5. more dump aspects, with options;
   tuned signature; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. clarified default: all aspects; (detail / hgweb)
8. clarified priority; (detail / hgweb)
9. merged (detail / hgweb)
10. added lemma (detail / hgweb)
11. Fixed latex markup (detail / hgweb)
12. merged (detail / hgweb)
13. more tidying (detail / hgweb)

Started by an SCM change

This run spent:

• 5.4 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.