src/Tools/VSCode/extension/isabelle-language.json
Thu, 18 Jul 2024 23:02:49 +0200 Thomas Lindae vscode: further adjusted default settings and wordPattern for consistent completion popups;
Tue, 03 Jan 2017 17:33:08 +0100 wenzelm more language support;
Tue, 03 Jan 2017 17:24:41 +0100 wenzelm tuned whitespace;
Mon, 02 Jan 2017 14:37:58 +0100 wenzelm tuned;
Sun, 01 Jan 2017 21:26:26 +0100 wenzelm clarified file name;
less more (0) tip