src/Tools/VSCode/src/vscode_rendering.scala
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