| Wed, 14 Jun 2023 17:20:05 +0200 |
wenzelm |
proper hostname from build_context;
|
changeset |
files
|
| Wed, 14 Jun 2023 16:27:44 +0200 |
wenzelm |
prefer Database_Progress, which is more robust (amending afb1a19307c4);
|
changeset |
files
|
| Wed, 14 Jun 2023 15:37:30 +0200 |
wenzelm |
support for Database_Progress;
|
changeset |
files
|
| Wed, 14 Jun 2023 12:10:40 +0200 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Wed, 14 Jun 2023 11:47:43 +0200 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Wed, 14 Jun 2023 11:18:25 +0200 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Thu, 08 Jun 2023 14:45:31 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Thu, 15 Jun 2023 17:20:09 +1000 |
kleing |
optional description in Eisbach "method" command;
|
changeset |
files
|
| Wed, 14 Jun 2023 15:47:27 +0200 |
blanchet |
disable 'falsify' and 'abduce' in Sledgehammer by default, since they don't seem to be very useful in practice
|
changeset |
files
|
| Wed, 07 Jun 2023 17:09:17 +0200 |
wenzelm |
Added tag Isabelle2023-RC0 for changeset f4221ae7544c
|
changeset |
files
|
| Wed, 07 Jun 2023 15:35:19 +0200 |
wenzelm |
updated to zstd-jni-1.5.5-4;
|
changeset |
files
|
| Wed, 07 Jun 2023 15:27:52 +0200 |
wenzelm |
updated to postgresql-42.6.0;
|
changeset |
files
|
| Wed, 07 Jun 2023 14:29:25 +0200 |
wenzelm |
back to more concise build_release, thanks to build_host_macos = "mini3";
|
changeset |
files
|
| Wed, 07 Jun 2023 14:26:46 +0200 |
wenzelm |
more PLATFORMS;
|
changeset |
files
|
| Wed, 07 Jun 2023 13:02:40 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
| Wed, 07 Jun 2023 11:40:24 +0200 |
wenzelm |
tuned NEWS;
|
changeset |
files
|
| Tue, 06 Jun 2023 23:42:47 +0200 |
wenzelm |
more realistic factor;
|
changeset |
files
|
| Tue, 06 Jun 2023 21:02:37 +0200 |
wenzelm |
proper trim_context;
|
changeset |
files
|
| Tue, 06 Jun 2023 15:29:43 +0200 |
wenzelm |
proper exception positions;
|
changeset |
files
|
| Tue, 06 Jun 2023 15:12:40 +0200 |
wenzelm |
proper trim_context / transfer, e.g. for Specification.definition;
|
changeset |
files
|
| Tue, 06 Jun 2023 14:19:53 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 06 Jun 2023 11:33:38 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 06 Jun 2023 11:26:59 +0200 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Tue, 06 Jun 2023 11:07:49 +0200 |
wenzelm |
minor performance tuning: avoid append to end-of-list;
|
changeset |
files
|