src/Tools/VSCode/src/protocol.scala
Tue, 27 Dec 2016 16:47:33 +0100 wenzelm support for diagnostics;
Wed, 21 Dec 2016 22:49:53 +0100 wenzelm clarified signature;
Wed, 21 Dec 2016 22:27:38 +0100 wenzelm tuned signature -- more explicit types;
Wed, 21 Dec 2016 21:18:37 +0100 wenzelm basic support for hyperlinks / Goto Definition Request;
Mon, 19 Dec 2016 20:27:49 +0100 wenzelm basic support for VSCode Language Server protocol;
less more (0) tip