| Tue, 22 Feb 2022 21:30:39 +0100 | wenzelm | more operations; | changeset | files |
| Tue, 22 Feb 2022 12:23:21 +0100 | wenzelm | more robust startup wrt. VSCode workspace (by Fabian Huch); | changeset | files |
| Tue, 22 Feb 2022 11:53:06 +0100 | wenzelm | various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); | changeset | files |