src/Tools/VSCode/src/server.scala
2016-12-21 wenzelm 2016-12-21 proper pattern match;
2016-12-21 wenzelm 2016-12-21 more explicit error;
2016-12-21 wenzelm 2016-12-21 more explicit error;
2016-12-21 wenzelm 2016-12-21 display messages, according to regular Isabelle Output;
2016-12-21 wenzelm 2016-12-21 tuned;
2016-12-20 wenzelm 2016-12-20 clarified module name;
2016-12-20 wenzelm 2016-12-20 more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
2016-12-20 wenzelm 2016-12-20 added option -T: text length encoding;
2016-12-19 wenzelm 2016-12-19 basic support for VSCode Language Server protocol; minimal extension for VSCode editor;