| 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; | changeset | files |
| Wed, 09 Mar 2022 12:41:40 +0100 | wenzelm | more operations; | changeset | files |
| Wed, 09 Mar 2022 11:29:34 +0100 | wenzelm | tuned comments; | changeset | files |
| Wed, 09 Mar 2022 11:20:16 +0100 | wenzelm | patch VSCode source tree to support isabelle_encoding.ts; | changeset | files |