src/Tools/VSCode/README.md
Thu, 10 Mar 2022 12:28:20 +0100 wenzelm prefer yarn over npm;
Wed, 09 Mar 2022 16:58:26 +0100 wenzelm clarified names;
Fri, 25 Feb 2022 15:01:47 +0100 wenzelm clarified extension name;
Fri, 25 Feb 2022 13:53:12 +0100 wenzelm support local .vsix installation;
Fri, 25 Feb 2022 13:18:30 +0100 wenzelm pro-forma update of version, for ongoing development;
Fri, 25 Feb 2022 13:15:27 +0100 wenzelm updated notes on Isabelle/VSCode development;
Wed, 07 Apr 2021 18:04:45 +0200 wenzelm tuned;
Sat, 02 Sep 2017 17:04:24 +0200 wenzelm simplified README: this is for development version;
Thu, 09 Mar 2017 14:05:34 +0100 wenzelm tuned;
Tue, 07 Mar 2017 13:55:49 +0100 wenzelm added admin tool "isabelle build_vscode";
Mon, 27 Feb 2017 17:58:00 +0100 wenzelm more links;
Wed, 11 Jan 2017 16:01:19 +0100 wenzelm generated configuration for Prettify Symbols Mode;
Mon, 02 Jan 2017 18:08:04 +0100 wenzelm updated package;
Sun, 01 Jan 2017 23:56:36 +0100 wenzelm proper packaging;
Sun, 01 Jan 2017 13:15:50 +0100 wenzelm automatically build session image;
Wed, 28 Dec 2016 23:24:18 +0100 wenzelm publish extension on Visual Studio Marketplace;
Wed, 28 Dec 2016 21:24:33 +0100 wenzelm updated VSCode extension to "isabelle vscode_server";
Mon, 19 Dec 2016 20:27:49 +0100 wenzelm basic support for VSCode Language Server protocol;
less more (0) tip