#1656 (Feb 26, 2022, 12:50:08 AM)

1. proper Presentation.Entity_Context for hyperlinks (amending da1108a6d249); (detail / hgweb)
2. clarified symbolic path; (detail / hgweb)
3. clarified extension name (again); (detail / hgweb)
4. removed obsolete material; (detail / hgweb)
5. update scripts, based on recent "yo code" template; (detail / hgweb)
6. clarified extension name (again), corresponding to qualified resources within VSCode (settings, commands, etc.); (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. clarified extension name; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. clarified signature; (detail / hgweb)
11. clarified options; (detail / hgweb)
12. support local .vsix installation;
    discontinued publishing to VSCode Marketplace, which will become obsolete eventually; (detail / hgweb)
13. formal record of generated package-lock.json; (detail / hgweb)
14. pro-forma update of version, for ongoing development; (detail / hgweb)
15. updated notes on Isabelle/VSCode development; (detail / hgweb)
16. proper engines.vscode (amending c04ccea8bdd2): required for "vsce package", e.g. via "isabelle build_vscode; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.5 sec waiting;
• 1 hr 37 min build duration;
• 1 hr 37 min total from scheduled to completion.