| Tue, 11 Jun 2024 21:32:26 +0200 |
wenzelm |
clarified signature: pro-forma support for Bytes with size: Long;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2024 16:06:06 +0100 |
wenzelm |
prefer dynamic objects, following a5fda30edae2;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2023 22:29:21 +0100 |
wenzelm |
clarified treatment of "verbose" messages, e.g. Progress.theory();
|
file |
diff |
annotate
|
| Sat, 04 Mar 2023 21:41:16 +0100 |
wenzelm |
proper "val verbose" (amending 2e2b2bd6b2d2);
|
file |
diff |
annotate
|
| Sat, 04 Mar 2023 12:43:35 +0100 |
wenzelm |
clarified signature: require just one "override def echo(message: Progress.Message): Unit";
|
file |
diff |
annotate
|
| Sat, 04 Mar 2023 12:05:51 +0100 |
wenzelm |
clarified signature: more uniform Progress.verbose, avoid adhoc "override def theory()";
|
file |
diff |
annotate
|
| Sat, 04 Mar 2023 11:45:14 +0100 |
wenzelm |
proper Output.writeln_text (with clean_yxml) for all instances of Progress.echo;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| 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
|