Thu, 21 Mar 2024 21:04:49 +0100 |
wenzelm |
merged
|
changeset |
files
|
Thu, 21 Mar 2024 21:03:06 +0100 |
wenzelm |
suppress arm64-darwin, which does not support "-codegen native" (required for AFP/PAC_Checker);
|
changeset |
files
|
Thu, 21 Mar 2024 16:54:53 +0100 |
wenzelm |
update to sumatra_pdf-3.5.2;
|
changeset |
files
|
Thu, 21 Mar 2024 16:28:43 +0100 |
wenzelm |
tuned signature: fewer warnings in IntelliJ IDEA;
|
changeset |
files
|
Thu, 21 Mar 2024 16:16:03 +0100 |
wenzelm |
update to jsoup-1.17.2;
|
changeset |
files
|
Thu, 21 Mar 2024 16:15:25 +0100 |
wenzelm |
proper bib entries (amending 82aaa0d8fc3b);
|
changeset |
files
|
Thu, 21 Mar 2024 15:00:22 +0100 |
wenzelm |
update to dotnet-8.0.203;
|
changeset |
files
|
Thu, 21 Mar 2024 14:45:15 +0100 |
wenzelm |
enforce rebuild of Isabelle/ML;
|
changeset |
files
|
Thu, 21 Mar 2024 14:43:40 +0100 |
wenzelm |
update to sqlite-3.45.2.0: clarified component name, following postgresql;
|
changeset |
files
|
Thu, 21 Mar 2024 14:29:01 +0100 |
wenzelm |
activate postgresql-42.7.3;
|
changeset |
files
|
Thu, 21 Mar 2024 14:26:45 +0100 |
wenzelm |
update to postgresql-42.7.3;
|
changeset |
files
|
Thu, 21 Mar 2024 14:19:05 +0100 |
wenzelm |
update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64-darwin;
|
changeset |
files
|
Thu, 21 Mar 2024 12:47:51 +0100 |
wenzelm |
isabelle update -u cite;
|
changeset |
files
|
Thu, 21 Mar 2024 17:36:50 +0100 |
Fabian Huch |
raise error if benchmarking fails;
|
changeset |
files
|
Thu, 21 Mar 2024 16:35:55 +0100 |
Fabian Huch |
option for benchmark session;
|
changeset |
files
|
Thu, 21 Mar 2024 13:05:49 +0100 |
Fabian Huch |
add hosts option to run benchmark on the cluster from the command-line;
|
changeset |
files
|
Wed, 20 Mar 2024 14:56:16 +0100 |
Fabian Huch |
only start jobs early if they are due (cf. 1966578feff8);
|
changeset |
files
|
Thu, 21 Mar 2024 14:19:39 +0000 |
paulson |
New material from a variety of sources (including AFP)
|
changeset |
files
|
Wed, 20 Mar 2024 21:12:49 +0100 |
wenzelm |
build component for cvc5-latest (ef2bc3f735df);
|
changeset |
files
|
Wed, 20 Mar 2024 20:45:36 +0100 |
desharna |
merged
|
changeset |
files
|
Wed, 20 Mar 2024 12:26:52 +0100 |
desharna |
try proof method "order" in Sledgehammer's proof reconstruction
|
changeset |
files
|
Wed, 20 Mar 2024 11:55:58 +0100 |
desharna |
added Mirabelle action "order"
|
changeset |
files
|
Wed, 20 Mar 2024 11:11:04 +0100 |
desharna |
renamed lemma antisymp_on_reflcp to antisymp_on_reflclp
|
changeset |
files
|
Wed, 20 Mar 2024 09:57:14 +0100 |
desharna |
tuned proof
|
changeset |
files
|
Wed, 20 Mar 2024 09:26:25 +0100 |
desharna |
added lemma order_reflclp_if_transp_and_asymp
|
changeset |
files
|
Wed, 20 Mar 2024 09:24:12 +0100 |
desharna |
added lemmas antisym_on_reflcl_if_asym_on and antisymp_on_reflclp_if_asymp_on
|
changeset |
files
|
Wed, 20 Mar 2024 17:30:44 +0100 |
Manuel Eberl |
HOL-Library: added modulo/congruence for real numbers
|
changeset |
files
|
Wed, 20 Mar 2024 15:19:20 +0100 |
Fabian Huch |
only print schedule if relevant;
|
changeset |
files
|
Wed, 20 Mar 2024 16:23:26 +0100 |
Fabian Huch |
remove laziness: no need, and errors during initialization loop with close();
|
changeset |
files
|
Wed, 20 Mar 2024 16:05:15 +0100 |
Manuel Eberl |
more general definition of meromorphicity; Weierstraß factorisation theorem
|
changeset |
files
|