Wed, 07 Apr 2021 18:05:48 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Sat, 28 Nov 2020 20:14:46 +0100 |
wenzelm |
avoid conflicting base names;
|
file |
diff |
annotate
|
Tue, 21 Apr 2020 19:07:11 +0200 |
wenzelm |
clarified imports;
|
file |
diff |
annotate
|
Sat, 01 Jun 2019 21:43:41 +0200 |
wenzelm |
tuned imports -- accommodate scala-2.13.0-RC3;
|
file |
diff |
annotate
|
Tue, 11 Dec 2018 19:25:35 +0100 |
wenzelm |
more uniform multi-language operations;
|
file |
diff |
annotate
|
Sun, 09 Sep 2018 11:53:53 +0200 |
wenzelm |
clarified theory progress;
|
file |
diff |
annotate
|
Sat, 09 Jun 2018 21:52:16 +0200 |
wenzelm |
clarified signature: more uniform theory_message (see also d7920eb7de54);
|
file |
diff |
annotate
|
Wed, 14 Mar 2018 16:48:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 10 Mar 2018 11:55:54 +0100 |
wenzelm |
more uniform Bytes.read_line/read_block operations;
|
file |
diff |
annotate
|
Thu, 25 May 2017 18:07:29 +0200 |
wenzelm |
clarified message logging;
|
file |
diff |
annotate
|
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
|