src/Tools/VSCode/src/protocol.scala
2016-12-21 wenzelm 2016-12-21 clarified signature;
2016-12-21 wenzelm 2016-12-21 tuned signature -- more explicit types;
2016-12-21 wenzelm 2016-12-21 basic support for hyperlinks / Goto Definition Request;
2016-12-19 wenzelm 2016-12-19 basic support for VSCode Language Server protocol; minimal extension for VSCode editor;