#1364 (Dec 20, 2020, 12:50:11 AM)

1. clarified scope of concept (detail / hgweb)
2. clarified name (detail / hgweb)
3. tuned; (detail / hgweb)
4. download auxiliary files via "curl"; (detail / hgweb)
5. clarified markup: open URL as editor file; (detail / hgweb)
6. download as in Isabelle/Scala; (detail / hgweb)
7. more robust; (detail / hgweb)
8. improved markup for theory header imports; (detail / hgweb)
9. clarified markup (refining dd56ba1974e6); (detail / hgweb)
10. more documentation; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.9 sec waiting;
• 1 hr 30 min build duration;
• 1 hr 30 min total from scheduled to completion.