| Thu, 15 Jun 2023 14:44:12 +0200 |
wenzelm |
proper pattern (amending da5cc332ded3);
|
changeset |
files
|
| Thu, 15 Jun 2023 14:28:17 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 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
|