Wed, 28 Dec 2016 16:50:14 +0100 | wenzelm | tuned; | file | diff | annotate |
Wed, 28 Dec 2016 16:45:00 +0100 | wenzelm | more uniform treatment of input/output wrt. client; | file | diff | annotate |
Mon, 26 Dec 2016 15:31:13 +0100 | wenzelm | more uniform treatment of file name vs. theory name and special header; | file | diff | annotate |
Mon, 26 Dec 2016 13:28:37 +0100 | wenzelm | clarified document: no stored text; | file | diff | annotate |
Mon, 26 Dec 2016 13:21:08 +0100 | wenzelm | clarified header text; | file | diff | annotate |
Fri, 23 Dec 2016 19:19:59 +0100 | wenzelm | full range for Position.Item; | file | diff | annotate |
Wed, 21 Dec 2016 22:27:38 +0100 | wenzelm | tuned signature -- more explicit types; | file | diff | annotate |
Tue, 20 Dec 2016 22:24:16 +0100 | wenzelm | more uniform rendering for Isabelle/jEdit and Isabelle/VSCode; | file | diff | annotate |
Mon, 19 Dec 2016 20:27:49 +0100 | wenzelm | basic support for VSCode Language Server protocol; | file | diff | annotate |