#1434 (Apr 1, 2021, 2:21:11 AM)

1. clarified signature; (detail / hgweb)
2. clarified: follow "isabelle version -t"; (detail / hgweb)
3. further clarification of Isabelle distribution identification -- avoid odd patching of sources; (detail / hgweb)
4. tuned signature -- more explicit types; (detail / hgweb)
5. more robust and uniform ISABELLE_TAGS; (detail / hgweb)
6. clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos; (detail / hgweb)
7. simplified release status (again), in contrast to a43898f76ae9; (detail / hgweb)
8. more uniform HTTP resources; (detail / hgweb)
9. clarified (again): local tip could be actually more recent; (detail / hgweb)
10. tuned; (detail / hgweb)
11. tuned; (detail / hgweb)
12. clarified name; (detail / hgweb)
13. more systematic java_library: avoid empty entries, declaration order as for other bash functions; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 31 min waiting;
• 1 hr 30 min build duration;
• 3 hr 2 min total from scheduled to completion.