lib/Tools/vscode
Fri, 18 Feb 2022 12:18:41 +0100 wenzelm run Isabelle/VSCode using local VSCodium installation;
less more (0) tip