Wed, 28 Dec 2016 17:38:12 +0100 | wenzelm | unused; | file | diff | annotate |
Tue, 27 Dec 2016 16:47:33 +0100 | wenzelm | support for diagnostics; | 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 |
Mon, 19 Dec 2016 20:27:49 +0100 | wenzelm | basic support for VSCode Language Server protocol; | file | diff | annotate |