wenzelm [Wed, 13 Oct 2021 00:07:06 +0200] rev 74506
support HOL-Isar_Examples.Hoare as well (amending 403ce50e6a2a);
wenzelm [Wed, 13 Oct 2021 00:02:35 +0200] rev 74505
removed junk;
nipkow [Tue, 12 Oct 2021 20:58:00 +0200] rev 74504
merged
nipkow [Tue, 12 Oct 2021 20:57:43 +0200] rev 74503
separated commands from annotations to be able to abstract about the latter only
wenzelm [Tue, 12 Oct 2021 16:30:43 +0200] rev 74502
prefer standard Term.dest_abs, with minor deviation of generated names;
wenzelm [Tue, 12 Oct 2021 16:12:41 +0200] rev 74501
tuned comments;
nipkow [Mon, 11 Oct 2021 21:55:21 +0200] rev 74500
more examples
wenzelm [Mon, 11 Oct 2021 17:04:35 +0200] rev 74499
workaround for old macOS versions, after change of Let's Encrypt root certificate --- see also https://letsencrypt.org/docs/dst-root-ca-x3-expiration-september-2021 --- Java/Scala Isabelle_System.download() works, but curl doens't;
haftmann [Mon, 11 Oct 2021 06:32:09 +0000] rev 74498
more complete simp rules
haftmann [Sun, 10 Oct 2021 18:16:57 +0000] rev 74497
more complete simp rules
haftmann [Sun, 10 Oct 2021 14:45:53 +0000] rev 74496
avoid overaggressive contraction of conversions
haftmann [Sat, 09 Oct 2021 16:41:21 +0000] rev 74495
normalizing NOT (numeral _) (again)
wenzelm [Fri, 08 Oct 2021 10:57:05 +0200] rev 74494
tuned text;
wenzelm [Thu, 07 Oct 2021 23:42:10 +0200] rev 74493
recover NEWS from 78d1f73bbeaa;
wenzelm [Thu, 07 Oct 2021 23:41:06 +0200] rev 74492
save 90 MB by excluding rlwrap and thus perl;
wenzelm [Thu, 07 Oct 2021 23:21:09 +0200] rev 74491
save 45 MB by excluding rlwrap and thus perl;
wenzelm [Thu, 07 Oct 2021 22:46:47 +0200] rev 74490
NEWS;
wenzelm [Thu, 07 Oct 2021 22:44:18 +0200] rev 74489
clarified test of directories;
wenzelm [Thu, 07 Oct 2021 22:21:11 +0200] rev 74488
misc tuning for release;
wenzelm [Thu, 07 Oct 2021 21:43:26 +0200] rev 74487
merged
wenzelm [Thu, 07 Oct 2021 20:53:24 +0200] rev 74486
updated to kodkodi-1.5.7. with more robust/portable management of files and processes;
wenzelm [Thu, 07 Oct 2021 14:02:18 +0200] rev 74485
provide minisat-2.2.1 on all currently supported platforms, notably as external solver for Nitpick;
wenzelm [Thu, 07 Oct 2021 13:55:24 +0200] rev 74484
tuned message;
wenzelm [Thu, 07 Oct 2021 13:46:50 +0200] rev 74483
proper build on macOS;
wenzelm [Thu, 07 Oct 2021 13:12:08 +0200] rev 74482
build minisat, using recent fork from original sources;
wenzelm [Thu, 07 Oct 2021 13:10:53 +0200] rev 74481
proper platform_path for executables run from Java;
wenzelm [Thu, 07 Oct 2021 13:04:15 +0200] rev 74480
tuned message;
wenzelm [Wed, 06 Oct 2021 23:37:33 +0200] rev 74479
tuned;
wenzelm [Wed, 06 Oct 2021 23:21:21 +0200] rev 74478
tuned whitespace;
desharna [Thu, 07 Oct 2021 16:28:17 +0200] rev 74477
merged
desharna [Thu, 07 Oct 2021 10:16:52 +0200] rev 74476
added timeout to veriT
eberlm <eberlm@in.tum.de> [Wed, 06 Oct 2021 14:19:46 +0200] rev 74475
new notion of infinite sums in HOL-Analysis, ordering on complex numbers
desharna [Thu, 07 Oct 2021 10:34:48 +0200] rev 74474
NEWS and CONTRIBUTORS
desharna [Thu, 07 Oct 2021 10:20:10 +0200] rev 74473
merged
desharna [Mon, 20 Sep 2021 14:24:11 +0200] rev 74472
added offset to Mirabelle's tptp output names
desharna [Mon, 04 Oct 2021 10:17:11 +0200] rev 74471
tuned zipperposition config in sledgehammer
desharna [Mon, 04 Oct 2021 10:16:42 +0200] rev 74470
considered slices overhead in sledgehammer
desharna [Wed, 29 Sep 2021 16:48:23 +0200] rev 74469
tuned atp_prover sliding
desharna [Wed, 29 Sep 2021 16:47:53 +0200] rev 74468
tuned Zipperposition slides in sledgehammer
wenzelm [Wed, 06 Oct 2021 21:37:59 +0200] rev 74467
include arm64-linux;
wenzelm [Wed, 06 Oct 2021 21:18:00 +0200] rev 74466
updated to Vampire 4.6, as proposed by Martin Desharnais;
wenzelm [Wed, 06 Oct 2021 20:26:08 +0200] rev 74465
build from official downloads;
wenzelm [Wed, 06 Oct 2021 13:28:11 +0200] rev 74464
build just one vampire version;
wenzelm [Wed, 06 Oct 2021 10:58:05 +0200] rev 74463
clarified signature;
wenzelm [Tue, 05 Oct 2021 15:44:10 +0200] rev 74462
maintain previous theory identifier to support semantic caching, notably in Isabelle/Naproche;
wenzelm [Tue, 05 Oct 2021 12:09:15 +0200] rev 74461
more exports, notably for Isabelle/Naproche;
wenzelm [Tue, 05 Oct 2021 00:04:01 +0200] rev 74460
include arm64-linux;
wenzelm [Tue, 05 Oct 2021 00:03:39 +0200] rev 74459
prefer existing OCaml installation;