src/Tools/VSCode/src/channel.scala
2017-01-01 wenzelm 2017-01-01 automatically build session image;
2016-12-31 wenzelm 2016-12-31 tuned signature;
2016-12-28 wenzelm 2016-12-28 clarified signature;
2016-12-27 wenzelm 2016-12-27 support for diagnostics;
2016-12-22 wenzelm 2016-12-22 proper clean_yxml;
2016-12-21 wenzelm 2016-12-21 display messages, according to regular Isabelle Output;
2016-12-19 wenzelm 2016-12-19 basic support for VSCode Language Server protocol; minimal extension for VSCode editor;