| Sun, 09 Feb 2025 14:54:35 +0100 |
wenzelm |
tuned: more robust Isabelle symbols;
|
file |
diff |
annotate
|
| Tue, 02 Jul 2024 23:13:35 +0200 |
wenzelm |
clarified YXML.Source: more direct support for String and Bytes, instead of CharSequence;
|
file |
diff |
annotate
|
| Sun, 18 Feb 2024 19:09:05 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 15 Feb 2024 11:33:36 +0100 |
wenzelm |
more robust type, with explicit default;
|
file |
diff |
annotate
|
| Thu, 30 Nov 2023 16:33:00 +0100 |
wenzelm |
more detailed profiling including "names";
|
file |
diff |
annotate
|
| Sun, 12 Nov 2023 12:34:04 +0100 |
wenzelm |
more robust: prefer strict operations;
|
file |
diff |
annotate
|
| Tue, 25 Jul 2023 12:27:31 +0200 |
wenzelm |
clarified statistics;
|
file |
diff |
annotate
|
| Mon, 24 Jul 2023 21:05:11 +0200 |
wenzelm |
more statistics;
|
file |
diff |
annotate
|
| Mon, 24 Jul 2023 15:05:56 +0200 |
wenzelm |
more thorough context tracing;
|
file |
diff |
annotate
|
| Thu, 20 Jul 2023 12:10:54 +0200 |
wenzelm |
update headers;
|
file |
diff |
annotate
|
| Thu, 13 Jul 2023 13:51:08 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Thu, 13 Jul 2023 13:10:40 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Thu, 13 Jul 2023 13:04:15 +0200 |
wenzelm |
clarified session_statistics: removed somewhat pointless per-theory statistics;
|
file |
diff |
annotate
|
| Wed, 12 Jul 2023 16:23:28 +0200 |
wenzelm |
proper system integration and renaming;
|
file |
diff |
annotate
|
| Wed, 12 Jul 2023 15:20:01 +0200 |
wenzelm |
copy/rename files from private autocorres version e45b9b680d3e;
|
file |
diff |
annotate
|