| Wed, 09 Mar 2022 16:52:32 +0100 | wenzelm | clarified modules: vscode vs. extension; | changeset | files |
| 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 |