wenzelm [Tue, 28 Sep 2021 22:39:27 +0200] rev 74385
clarified antiquotations;
wenzelm [Tue, 28 Sep 2021 22:45:52 +0200] rev 74384
merged
wenzelm [Tue, 28 Sep 2021 22:14:44 +0200] rev 74383
clarified antiquotations;
wenzelm [Tue, 28 Sep 2021 22:14:02 +0200] rev 74382
clarified antiquotations;
wenzelm [Tue, 28 Sep 2021 22:12:52 +0200] rev 74381
clarified antiquotations;
wenzelm [Tue, 28 Sep 2021 22:10:21 +0200] rev 74380
clarified antiquotations;
wenzelm [Tue, 28 Sep 2021 22:08:51 +0200] rev 74379
clarified antiquotations;
wenzelm [Tue, 28 Sep 2021 22:08:03 +0200] rev 74378
clarified positions, notably for ML compiler errors;
wenzelm [Tue, 28 Sep 2021 21:41:38 +0200] rev 74377
clarified message;
wenzelm [Tue, 28 Sep 2021 17:12:53 +0200] rev 74376
proper default for Sledgehammer GUI panel;
wenzelm [Tue, 28 Sep 2021 17:09:05 +0200] rev 74375
tuned antiquotations;
wenzelm [Tue, 28 Sep 2021 17:08:38 +0200] rev 74374
more convenient ML arguments: avoid excessive nesting of cartouches;
wenzelm [Tue, 28 Sep 2021 16:01:13 +0200] rev 74373
outer syntax: support for control-cartouche tokens;
nipkow [Tue, 28 Sep 2021 20:58:04 +0200] rev 74372
merged
nipkow [Tue, 28 Sep 2021 20:57:57 +0200] rev 74371
An example
desharna [Tue, 28 Sep 2021 10:47:18 +0200] rev 74370
prefer veriT over Z3 in sledgehammer
desharna [Tue, 28 Sep 2021 10:38:36 +0200] rev 74369
added Zipperposition to sledgehammer's default provers
wenzelm [Mon, 27 Sep 2021 20:45:26 +0200] rev 74368
provide zipperposition-2.1 (still unused);
blanchet [Mon, 27 Sep 2021 11:19:56 +0200] rev 74367
tuned docs
wenzelm [Sun, 26 Sep 2021 20:13:28 +0200] rev 74366
merged
wenzelm [Sun, 26 Sep 2021 18:49:55 +0200] rev 74365
improper proof command 'guess' moved to separate theory "Pure-ex.Guess";
haftmann [Sat, 25 Sep 2021 07:45:27 +0000] rev 74364
NOT is part of syntax bundle also
wenzelm [Fri, 24 Sep 2021 22:44:13 +0200] rev 74363
merged
wenzelm [Fri, 24 Sep 2021 22:23:26 +0200] rev 74362
tuned proofs --- avoid 'guess';