#1635 (May 8, 2018, 9:25:03 PM)

1. merged (detail / hgweb)
2. command-line tool "isabelle export";
   more documentation;
   tuned; (detail / hgweb)
3. more efficient query; (detail / hgweb)
4. more robust: self-export only; (detail / hgweb)
5. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 3 hr 37 min build duration;
• 3 hr 42 min total from scheduled to completion.