| Mon, 27 May 2024 13:20:31 +0200 | Thomas Lindae | vscode: IsabelleDejaVuSansMono for state and output panel; | file | diff | annotate |
| Tue, 22 Feb 2022 11:53:06 +0100 | wenzelm | various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); | file | diff | annotate |