| Sun, 14 May 2017 17:08:12 +0200 |
wenzelm |
more explicit warning/error messages;
|
file |
diff |
annotate
|
| Wed, 08 Mar 2017 11:30:13 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Fri, 03 Mar 2017 21:51:04 +0100 |
wenzelm |
publish decorations like diagnostics;
|
file |
diff |
annotate
|
| Thu, 05 Jan 2017 22:57:59 +0100 |
wenzelm |
more informative error for spurious crash;
|
file |
diff |
annotate
|
| 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
|