| Wed, 02 Mar 2022 16:06:37 +0100 | wenzelm | clarified module; | file | diff | annotate |
| Wed, 02 Mar 2022 15:57:04 +0100 | Fabian Huch | added documentation for new VSCode modules; | file | diff | annotate |
| Wed, 23 Feb 2022 23:17:39 +0100 | Fabian Huch | tuned vscode extension; | file | diff | annotate |
| Wed, 23 Feb 2022 22:12:00 +0100 | Fabian Huch | tuned vscode extension: split isabelle fsp into workspace and mapping; | file | diff | annotate | base |