src/Tools/VSCode/src/server.scala
2017-01-09 wenzelm 2017-01-09 tuned signature;
2017-01-08 wenzelm 2017-01-08 more explocit Document_Model.Content;
2017-01-07 wenzelm 2017-01-07 clarified lazy text content;
2017-01-05 wenzelm 2017-01-05 more informative error for spurious crash;
2017-01-05 wenzelm 2017-01-05 tuned;
2017-01-05 wenzelm 2017-01-05 manage document blobs as well;
2017-01-04 wenzelm 2017-01-04 proper registration of implicitly loaded files;
2017-01-04 wenzelm 2017-01-04 tuned;
2017-01-04 wenzelm 2017-01-04 clarified Document.Node.Name (again): canonical platform file; identify document models by native java.io.File;
2017-01-03 wenzelm 2017-01-03 support VSCode DocumentHighlights; clarified modules;
2017-01-02 wenzelm 2017-01-02 support for Windows;
2017-01-02 wenzelm 2017-01-02 clarified multiple tooltips;
2017-01-02 wenzelm 2017-01-02 proper content format;
2017-01-01 wenzelm 2017-01-01 proper default;
2017-01-01 wenzelm 2017-01-01 automatically build session image;
2016-12-31 wenzelm 2016-12-31 automatically resolve dependencies from document models and file-system;
2016-12-31 wenzelm 2016-12-31 tuned;
2016-12-31 wenzelm 2016-12-31 ignore message;
2016-12-31 wenzelm 2016-12-31 tuned signature;
2016-12-31 wenzelm 2016-12-31 proper log;
2016-12-31 wenzelm 2016-12-31 tuned signature;
2016-12-30 wenzelm 2016-12-30 manage changes of external files; tuned;
2016-12-30 wenzelm 2016-12-30 more explicit edits -- eliminated Clear;
2016-12-30 wenzelm 2016-12-30 tuned;
2016-12-30 wenzelm 2016-12-30 clarified Document_Model perspective and edits;
2016-12-30 wenzelm 2016-12-30 tuned;
2016-12-29 wenzelm 2016-12-29 re-use options from resources;
2016-12-29 wenzelm 2016-12-29 moved main state to VSCode_Resources; misc tuning;
2016-12-29 wenzelm 2016-12-29 re-use resources from session;
2016-12-28 wenzelm 2016-12-28 support for syslog messages; clarified shutdown;
2016-12-28 wenzelm 2016-12-28 prefer stable state -- reduce repeated diagnostics;
2016-12-28 wenzelm 2016-12-28 more uniform pending_input / pending_output; explicit Document_Model.uri; tuned;
2016-12-28 wenzelm 2016-12-28 clarified protocol errors;
2016-12-28 wenzelm 2016-12-28 clarified options;
2016-12-28 wenzelm 2016-12-28 clarified signature: maintan Text.Length within Line.Document;
2016-12-28 wenzelm 2016-12-28 clarified modules;
2016-12-28 wenzelm 2016-12-28 more uniform treatment of input/output wrt. client; support for diagnistic messages; misc tuning;
2016-12-26 wenzelm 2016-12-26 more uniform treatment of file name vs. theory name and special header;
2016-12-23 wenzelm 2016-12-23 full range for Position.Item; more hyperlinks for VSCode;
2016-12-22 wenzelm 2016-12-22 clarified message;
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-21 wenzelm 2016-12-21 tuned messages;
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;