src/Tools/VSCode/src/vscode_rendering.scala
2016-12-21 wenzelm 2016-12-21 clarified signature;
2016-12-21 wenzelm 2016-12-21 VSCode already detects URLs from plain text;
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-20 wenzelm 2016-12-20 more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;