src/Tools/VSCode/README.md
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