src/Tools/VSCode/src/protocol.scala
2017-01-02 wenzelm 2017-01-02 proper content format;
2016-12-28 wenzelm 2016-12-28 DiagnosticSeverity according to implementation https://github.com/Microsoft/vscode-languageserver-node instead of documentation https://github.com/Microsoft/language-server-protocol/blob/master/protocol.md;
2016-12-28 wenzelm 2016-12-28 unused;
2016-12-27 wenzelm 2016-12-27 support for diagnostics;
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;