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 |
Wed, 09 Mar 2022 11:29:34 +0100 | wenzelm | tuned comments; | file | diff | annotate |
Wed, 09 Mar 2022 11:20:16 +0100 | wenzelm | patch VSCode source tree to support isabelle_encoding.ts; | file | diff | annotate |
Tue, 08 Mar 2022 17:09:09 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |