| 2022-03-10 | wenzelm | clarified startup of "isabelle vscode": vscodium component is required, with patches for Isabelle/VSCode; | file | diff | annotate |
| 2022-03-09 | wenzelm | inline Isabelle symbols into source text, so that "isabelle vscode" can start up properly without access to process.env or fs; | file | diff | annotate |
| 2022-03-07 | wenzelm | towards UTF-8-Isabelle symbol encoding; | file | diff | annotate |
| 2022-02-28 | wenzelm | prefer hardwired locale; | file | diff | annotate |
| 2022-02-18 | wenzelm | clarified directory; | file | diff | annotate |
| 2022-02-18 | wenzelm | run Isabelle/VSCode using local VSCodium installation; | file | diff | annotate |