#1913 (Mar 12, 2023, 12:50:07 AM)

1. more operations, thanks to Jsoup; (detail / hgweb)
2. discontinued apache-commons in favour of jsoup, which is smaller and more useful; (detail / hgweb)
3. more accurate shasum_meta_info; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. support "isabelle options -l -t TAGS"; (detail / hgweb)
6. NEWS; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. tuned; (detail / hgweb)
9. avoid hard-wired stuff (see also 78f2475aa126); (detail / hgweb)
10. clarified tags; (detail / hgweb)
11. clarified session prefs (or "options" within the database); (detail / hgweb)
12. tuned signature; (detail / hgweb)
13. tuned comments; (detail / hgweb)
14. unused (see 268bf61631ec); (detail / hgweb)
15. clarified exported options; (detail / hgweb)
16. clarified signature; (detail / hgweb)
17. do not export connection details (password etc.); (detail / hgweb)
18. support option tags; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.6 sec waiting;
• 1 hr 53 min build duration;
• 1 hr 53 min total from scheduled to completion.