#1648 (Apr 1, 2021, 1:33:30 AM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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

Started by an SCM change

This run spent:

• 8 sec waiting;
• 10 hr build duration;
• 10 hr total from scheduled to completion.