src/Tools/VSCode/src/vscode_rendering.scala
Thu, 29 Dec 2016 22:10:29 +0100 wenzelm re-use options from resources;
Thu, 29 Dec 2016 17:25:32 +0100 wenzelm re-use resources from session;
Wed, 28 Dec 2016 19:15:52 +0100 wenzelm precise full_range and thus proper try_restrict in Snapshot.cumulate;
Wed, 28 Dec 2016 17:26:38 +0100 wenzelm clarified signature: maintan Text.Length within Line.Document;
Wed, 28 Dec 2016 16:45:00 +0100 wenzelm more uniform treatment of input/output wrt. client;
Fri, 23 Dec 2016 20:06:54 +0100 wenzelm proper file:// URL for external references;
Fri, 23 Dec 2016 19:19:59 +0100 wenzelm full range for Position.Item;
Fri, 23 Dec 2016 11:19:28 +0100 wenzelm removed junk;
Wed, 21 Dec 2016 23:54:21 +0100 wenzelm clarified signature;
Wed, 21 Dec 2016 22:52:07 +0100 wenzelm VSCode already detects URLs from plain text;
Wed, 21 Dec 2016 22:49:53 +0100 wenzelm clarified signature;
Wed, 21 Dec 2016 22:27:38 +0100 wenzelm tuned signature -- more explicit types;
Wed, 21 Dec 2016 21:18:37 +0100 wenzelm basic support for hyperlinks / Goto Definition Request;
Tue, 20 Dec 2016 22:24:16 +0100 wenzelm more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
less more (0) tip