#1669 (Mar 11, 2022, 12:50:09 AM)

1. actually decode/encode symbols; (detail / hgweb)
2. merged (detail / hgweb)
3. prefer yarn over npm; (detail / hgweb)
4. more accurate .hgignore; (detail / hgweb)
5. clarified startup of "isabelle vscode": vscodium component is required, with patches for Isabelle/VSCode; (detail / hgweb)
6. tuned messages; (detail / hgweb)
7. proper init_resources for macos; (detail / hgweb)
8. clarified names; (detail / hgweb)
9. clarified modules: vscode vs. extension;
   clarified signature; (detail / hgweb)
10. inline Isabelle symbols into source text, so that "isabelle vscode" can start up properly without access to process.env or fs; (detail / hgweb)
11. more operations; (detail / hgweb)
12. tuned comments;
    tuned messages; (detail / hgweb)
13. patch VSCode source tree to support isabelle_encoding.ts; (detail / hgweb)
14. more robust, pass "yarn valid-layers-check"; (detail / hgweb)
15. clarified directories; (detail / hgweb)
16. patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet; (detail / hgweb)
17. fit into vscode source conventions; (detail / hgweb)

Started by an SCM change

This run spent:

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