Mon, 20 Sep 2021 14:24:11 +0200 added offset to Mirabelle's tptp output names
desharna [Mon, 20 Sep 2021 14:24:11 +0200] rev 74817
added offset to Mirabelle's tptp output names
Mon, 04 Oct 2021 10:17:11 +0200 tuned zipperposition config in sledgehammer
desharna [Mon, 04 Oct 2021 10:17:11 +0200] rev 74816
tuned zipperposition config in sledgehammer
Mon, 04 Oct 2021 10:16:42 +0200 considered slices overhead in sledgehammer
desharna [Mon, 04 Oct 2021 10:16:42 +0200] rev 74815
considered slices overhead in sledgehammer
Wed, 29 Sep 2021 16:48:23 +0200 tuned atp_prover sliding
desharna [Wed, 29 Sep 2021 16:48:23 +0200] rev 74814
tuned atp_prover sliding
Wed, 29 Sep 2021 16:47:53 +0200 tuned Zipperposition slides in sledgehammer
desharna [Wed, 29 Sep 2021 16:47:53 +0200] rev 74813
tuned Zipperposition slides in sledgehammer
Mon, 04 Oct 2021 12:32:50 +0100 new material from the Roth development, mostly about finite sets, disjoint famillies and partitions
paulson <lp15@cam.ac.uk> [Mon, 04 Oct 2021 12:32:50 +0100] rev 74812
new material from the Roth development, mostly about finite sets, disjoint famillies and partitions
Sun, 03 Oct 2021 21:29:34 +0200 updated for release;
wenzelm [Sun, 03 Oct 2021 21:29:34 +0200] rev 74811
updated for release;
Sun, 03 Oct 2021 18:23:12 +0200 Added tag Isabelle2021-1-RC0 for changeset fedc0b659881
isatest [Sun, 03 Oct 2021 18:23:12 +0200] rev 74810
Added tag Isabelle2021-1-RC0 for changeset fedc0b659881
Sat, 02 Oct 2021 22:11:34 +0200 provide Isabelle/jEdit plugins as services, and thus allow user components do the same; Isabelle2021-1-RC0
wenzelm [Sat, 02 Oct 2021 22:11:34 +0200] rev 74809
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
Sat, 02 Oct 2021 20:44:33 +0200 merged
wenzelm [Sat, 02 Oct 2021 20:44:33 +0200] rev 74808
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip