Fri, 23 Dec 2016 20:06:54 +0100 | wenzelm | proper file:// URL for external references; | file | diff | annotate |
Fri, 23 Dec 2016 19:19:59 +0100 | wenzelm | full range for Position.Item; | file | diff | annotate |
Fri, 23 Dec 2016 11:19:28 +0100 | wenzelm | removed junk; | file | diff | annotate |
Wed, 21 Dec 2016 23:54:21 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Wed, 21 Dec 2016 22:52:07 +0100 | wenzelm | VSCode already detects URLs from plain text; | file | diff | annotate |
Wed, 21 Dec 2016 22:49:53 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Wed, 21 Dec 2016 22:27:38 +0100 | wenzelm | tuned signature -- more explicit types; | file | diff | annotate |
Wed, 21 Dec 2016 21:18:37 +0100 | wenzelm | basic support for hyperlinks / Goto Definition Request; | file | diff | annotate |
Tue, 20 Dec 2016 22:24:16 +0100 | wenzelm | more uniform rendering for Isabelle/jEdit and Isabelle/VSCode; | file | diff | annotate |