| 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 |