| Wed, 23 Feb 2022 23:17:39 +0100 | Fabian Huch | tuned vscode extension; | changeset | files |
| Wed, 23 Feb 2022 22:12:00 +0100 | Fabian Huch | tuned vscode extension: split isabelle fsp into workspace and mapping; | changeset | files |
| Wed, 23 Feb 2022 10:46:10 +0100 | Fabian Huch | update VSCode plugin dependencies; | changeset | files |
| Wed, 23 Feb 2022 10:23:19 +0100 | Fabian Huch | added Isabelle output panel to VSCode extension; | changeset | files |