src/Tools/VSCode/src/document_model.scala
Fri, 23 Dec 2016 19:19:59 +0100 wenzelm full range for Position.Item;
Wed, 21 Dec 2016 22:27:38 +0100 wenzelm tuned signature -- more explicit types;
Tue, 20 Dec 2016 22:24:16 +0100 wenzelm more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
Mon, 19 Dec 2016 20:27:49 +0100 wenzelm basic support for VSCode Language Server protocol;
less more (0) tip