Thu, 22 Dec 2016 11:55:22 +0100 | wenzelm | proper clean_yxml; | file | diff | annotate |
Wed, 21 Dec 2016 16:02:52 +0100 | wenzelm | display messages, according to regular Isabelle Output; | file | diff | annotate |
Mon, 19 Dec 2016 20:27:49 +0100 | wenzelm | basic support for VSCode Language Server protocol; | file | diff | annotate |