Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 29 Sep 2021 23:04:00 +0200 merged
changeset
wenzelm [Wed, 29 Sep 2021 23:04:00 +0200] rev 74398
merged
Wed, 29 Sep 2021 22:54:38 +0200 clarified antiquotations;
changeset
wenzelm [Wed, 29 Sep 2021 22:54:38 +0200] rev 74397
clarified antiquotations; some comments concerning odd "- numeral";
Wed, 29 Sep 2021 18:22:32 +0200 clarified antiquotations;
changeset
wenzelm [Wed, 29 Sep 2021 18:22:32 +0200] rev 74396
clarified antiquotations;
Wed, 29 Sep 2021 18:21:22 +0200 clarified antiquotations;
changeset
wenzelm [Wed, 29 Sep 2021 18:21:22 +0200] rev 74395
clarified antiquotations;
Wed, 29 Sep 2021 16:49:07 +0200 merged
changeset
desharna [Wed, 29 Sep 2021 16:49:07 +0200] rev 74394
merged
Tue, 28 Sep 2021 17:14:21 +0200 tuned TPTP parsing of THF function application
changeset
desharna [Tue, 28 Sep 2021 17:14:21 +0200] rev 74393
tuned TPTP parsing of THF function application
Wed, 29 Sep 2021 11:55:09 +0200 clarified examples;
changeset
wenzelm [Wed, 29 Sep 2021 11:55:09 +0200] rev 74392
clarified examples;
Wed, 29 Sep 2021 06:56:39 +0000 repaired slip
changeset
haftmann [Wed, 29 Sep 2021 06:56:39 +0000] rev 74391
repaired slip
Wed, 29 Sep 2021 09:58:19 +0200 merged
changeset
desharna [Wed, 29 Sep 2021 09:58:19 +0200] rev 74390
merged
Tue, 28 Sep 2021 12:35:43 +0200 updated to Zipperposition 2.1
changeset
desharna [Tue, 28 Sep 2021 12:35:43 +0200] rev 74389
updated to Zipperposition 2.1
Tue, 28 Sep 2021 11:11:44 +0200 fixed veriT environment variable in sledgehammer's documentation
changeset
desharna [Tue, 28 Sep 2021 11:11:44 +0200] rev 74388
fixed veriT environment variable in sledgehammer's documentation
Tue, 28 Sep 2021 23:25:13 +0200 avoid overlapping PIDE markup (amending bb25ea271b15);
changeset
wenzelm [Tue, 28 Sep 2021 23:25:13 +0200] rev 74387
avoid overlapping PIDE markup (amending bb25ea271b15);
Tue, 28 Sep 2021 22:50:22 +0200 recover some Linux test, using virtual machine node (Ubuntu 20.04, 4 cores, 16 GB);
changeset
wenzelm [Tue, 28 Sep 2021 22:50:22 +0200] rev 74386
recover some Linux test, using virtual machine node (Ubuntu 20.04, 4 cores, 16 GB);
Tue, 28 Sep 2021 22:39:27 +0200 clarified antiquotations;
changeset
wenzelm [Tue, 28 Sep 2021 22:39:27 +0200] rev 74385
clarified antiquotations;
Tue, 28 Sep 2021 22:45:52 +0200 merged
changeset
wenzelm [Tue, 28 Sep 2021 22:45:52 +0200] rev 74384
merged
Tue, 28 Sep 2021 22:14:44 +0200 clarified antiquotations;
changeset
wenzelm [Tue, 28 Sep 2021 22:14:44 +0200] rev 74383
clarified antiquotations;
Tue, 28 Sep 2021 22:14:02 +0200 clarified antiquotations;
changeset
wenzelm [Tue, 28 Sep 2021 22:14:02 +0200] rev 74382
clarified antiquotations;
Tue, 28 Sep 2021 22:12:52 +0200 clarified antiquotations;
changeset
wenzelm [Tue, 28 Sep 2021 22:12:52 +0200] rev 74381
clarified antiquotations;
Tue, 28 Sep 2021 22:10:21 +0200 clarified antiquotations;
changeset
wenzelm [Tue, 28 Sep 2021 22:10:21 +0200] rev 74380
clarified antiquotations;
Tue, 28 Sep 2021 22:08:51 +0200 clarified antiquotations;
changeset
wenzelm [Tue, 28 Sep 2021 22:08:51 +0200] rev 74379
clarified antiquotations;
Tue, 28 Sep 2021 22:08:03 +0200 clarified positions, notably for ML compiler errors;
changeset
wenzelm [Tue, 28 Sep 2021 22:08:03 +0200] rev 74378
clarified positions, notably for ML compiler errors;
Tue, 28 Sep 2021 21:41:38 +0200 clarified message;
changeset
wenzelm [Tue, 28 Sep 2021 21:41:38 +0200] rev 74377
clarified message;
Tue, 28 Sep 2021 17:12:53 +0200 proper default for Sledgehammer GUI panel;
changeset
wenzelm [Tue, 28 Sep 2021 17:12:53 +0200] rev 74376
proper default for Sledgehammer GUI panel;
Tue, 28 Sep 2021 17:09:05 +0200 tuned antiquotations;
changeset
wenzelm [Tue, 28 Sep 2021 17:09:05 +0200] rev 74375
tuned antiquotations;
Tue, 28 Sep 2021 17:08:38 +0200 more convenient ML arguments: avoid excessive nesting of cartouches;
changeset
wenzelm [Tue, 28 Sep 2021 17:08:38 +0200] rev 74374
more convenient ML arguments: avoid excessive nesting of cartouches;
Tue, 28 Sep 2021 16:01:13 +0200 outer syntax: support for control-cartouche tokens;
changeset
wenzelm [Tue, 28 Sep 2021 16:01:13 +0200] rev 74373
outer syntax: support for control-cartouche tokens;
Tue, 28 Sep 2021 20:58:04 +0200 merged
changeset
nipkow [Tue, 28 Sep 2021 20:58:04 +0200] rev 74372
merged
Tue, 28 Sep 2021 20:57:57 +0200 An example
changeset
nipkow [Tue, 28 Sep 2021 20:57:57 +0200] rev 74371
An example
Tue, 28 Sep 2021 10:47:18 +0200 prefer veriT over Z3 in sledgehammer
changeset
desharna [Tue, 28 Sep 2021 10:47:18 +0200] rev 74370
prefer veriT over Z3 in sledgehammer
Tue, 28 Sep 2021 10:38:36 +0200 added Zipperposition to sledgehammer's default provers
changeset
desharna [Tue, 28 Sep 2021 10:38:36 +0200] rev 74369
added Zipperposition to sledgehammer's default provers
Mon, 27 Sep 2021 20:45:26 +0200 provide zipperposition-2.1 (still unused);
changeset
wenzelm [Mon, 27 Sep 2021 20:45:26 +0200] rev 74368
provide zipperposition-2.1 (still unused);
Mon, 27 Sep 2021 11:19:56 +0200 tuned docs
changeset
blanchet [Mon, 27 Sep 2021 11:19:56 +0200] rev 74367
tuned docs
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 +1000 +3000 tip
isabelle