#1661 (Mar 3, 2022, 12:50:07 AM)

1. clarified modules; (detail / hgweb)
2. support for file-system operations; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. follow standard Isabelle license --- no longer published on market place; (detail / hgweb)
5. tuned README; (detail / hgweb)
6. disregard public marketplace; (detail / hgweb)
7. tuned imports; (detail / hgweb)
8. more robust; (detail / hgweb)
9. merged (detail / hgweb)
10. tuned message; (detail / hgweb)
11. clarified module; (detail / hgweb)
12. tuned comments; (detail / hgweb)
13. added documentation for new VSCode modules; (detail / hgweb)
14. proper monospace font for terminal; (detail / hgweb)
15. merged (detail / hgweb)
16. tuned; (detail / hgweb)
17. support system path representations (as in Isabelle/Java/Scala); (detail / hgweb)
18. auto-update; (detail / hgweb)
19. more robust; (detail / hgweb)
20. clarified modules; (detail / hgweb)
21. clarified rendering; (detail / hgweb)
22. prefer hardwired locale; (detail / hgweb)
23. more aggressive activation; (detail / hgweb)

Started by an SCM change

This run spent:

• 6 sec waiting;
• 1 hr 36 min build duration;
• 1 hr 36 min total from scheduled to completion.