src/Tools/VSCode/extension/isabelle-language.json
Sun, 01 Jan 2017 21:26:26 +0100 wenzelm clarified file name;
less more (0) tip