| Wed, 04 Jan 2017 19:42:08 +0100 | wenzelm | clarified Document.Node.Name (again): canonical platform file; | file | diff | annotate |
| Sun, 01 Jan 2017 13:15:50 +0100 | wenzelm | automatically build session image; | file | diff | annotate |
| Sat, 31 Dec 2016 11:39:57 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 28 Dec 2016 17:49:47 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 27 Dec 2016 16:47:33 +0100 | wenzelm | support for diagnostics; | file | diff | annotate |
| 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 |