| Tue, 15 Mar 2022 13:13:05 +0100 | wenzelm | updated to vscode 1.65.2; | file | diff | annotate |
| Wed, 09 Mar 2022 16:21:14 +0100 | 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 |
| Mon, 07 Mar 2022 17:18:19 +0100 | wenzelm | updated to VSCode 1.65.0; | file | diff | annotate |
| Thu, 03 Mar 2022 20:04:27 +0100 | wenzelm | provide symbols statically via ISABELLE_VSCODE_WORKSPACE, instead of LSP/PIDE protocol; | file | diff | annotate |
| Thu, 17 Feb 2022 19:00:14 +0100 | wenzelm | setup VSCode from VSCodium distribution; | file | diff | annotate |