#719 (Aug 29, 2018, 12:50:09 AM)

1. merged (detail / hgweb)
2. systematic access to command ids; (detail / hgweb)
3. more robust: Pure entities may lack id; (detail / hgweb)
4. merged (detail / hgweb)
5. tagged 21 theories in the Analysis library for the manual (detail / hgweb)
6. tuned output; (detail / hgweb)
7. Export.Provider for "isabelle dump" output_dir; (detail / hgweb)
8. retain original id, which is command_id/exec_id for PIDE;
   tuned; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. tuned; (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. clarified ML_environment: ML_write_global requires "Isabelle"; (detail / hgweb)
13. clarified signature: do not expose internal operation; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 13 min total from scheduled to completion.