Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
2020-10-07 updated tests for macOS 10.14 Mojave;
changeset
wenzelm [Wed, 07 Oct 2020 20:43:59 +0200] rev 72390
updated tests for macOS 10.14 Mojave;
2020-10-07 Aded Queues
changeset
nipkow [Wed, 07 Oct 2020 17:34:24 +0200] rev 72389
Aded Queues
2020-10-07 consolidated for the sake of documentation
changeset
haftmann [Wed, 07 Oct 2020 10:39:14 +0200] rev 72388
consolidated for the sake of documentation
2020-10-07 tuned;
changeset
wenzelm [Wed, 07 Oct 2020 11:31:51 +0200] rev 72387
tuned;
2020-10-06 merged
changeset
paulson [Tue, 06 Oct 2020 20:34:38 +0100] rev 72386
merged
2020-10-06 Simplified some proofs
changeset
paulson <lp15@cam.ac.uk> [Tue, 06 Oct 2020 20:34:29 +0100] rev 72385
Simplified some proofs
2020-10-06 added lemmas; internalized defn in class
changeset
nipkow [Tue, 06 Oct 2020 16:55:56 +0200] rev 72384
added lemmas; internalized defn in class
2020-10-05 merged
changeset
paulson [Mon, 05 Oct 2020 22:53:40 +0100] rev 72383
merged
2020-10-05 still not quite fixed...
changeset
paulson <lp15@cam.ac.uk> [Mon, 05 Oct 2020 20:58:23 +0100] rev 72382
still not quite fixed...
2020-10-05 A few more reversions
changeset
paulson <lp15@cam.ac.uk> [Mon, 05 Oct 2020 18:48:41 +0100] rev 72381
A few more reversions
2020-10-05 reversion to the explicit existential quantifier
changeset
paulson <lp15@cam.ac.uk> [Mon, 05 Oct 2020 18:46:15 +0100] rev 72380
reversion to the explicit existential quantifier
2020-10-05 more tidying of messy proofs
changeset
paulson <lp15@cam.ac.uk> [Mon, 05 Oct 2020 12:47:19 +0100] rev 72379
more tidying of messy proofs
2020-10-05 clarified signature;
changeset
wenzelm [Mon, 05 Oct 2020 22:49:46 +0200] rev 72378
clarified signature;
2020-10-05 clarified signature;
changeset
wenzelm [Mon, 05 Oct 2020 22:23:17 +0200] rev 72377
clarified signature;
2020-10-05 clarified signature;
changeset
wenzelm [Mon, 05 Oct 2020 22:07:25 +0200] rev 72376
clarified signature;
2020-10-05 clarified signature;
changeset
wenzelm [Mon, 05 Oct 2020 21:15:58 +0200] rev 72375
clarified signature;
2020-10-03 merged
changeset
paulson [Sat, 03 Oct 2020 23:01:40 +0100] rev 72374
merged
2020-10-03 merged
changeset
paulson [Sat, 03 Oct 2020 20:47:58 +0100] rev 72373
merged
2020-10-03 de-applying
changeset
paulson <lp15@cam.ac.uk> [Sat, 03 Oct 2020 20:47:37 +0100] rev 72372
de-applying
2020-10-03 clarified arm64-linux base line: prefer Pi OS, which is based on slightly older Debian;
changeset
wenzelm [Sat, 03 Oct 2020 21:54:53 +0200] rev 72371
clarified arm64-linux base line: prefer Pi OS, which is based on slightly older Debian;
2020-10-03 detect/guess arm32 platform (unsupported);
changeset
wenzelm [Sat, 03 Oct 2020 19:56:02 +0200] rev 72370
detect/guess arm32 platform (unsupported);
2020-10-03 build component according to "isabelle build_e -V 2.5" (inactive);
changeset
wenzelm [Sat, 03 Oct 2020 15:11:30 +0200] rev 72369
build component according to "isabelle build_e -V 2.5" (inactive);
2020-10-03 updated component according to "isabelle build_e -V 2.0";
changeset
wenzelm [Sat, 03 Oct 2020 14:32:25 +0200] rev 72368
updated component according to "isabelle build_e -V 2.0"; support arm64-linux;
2020-10-03 proper usage;
changeset
wenzelm [Sat, 03 Oct 2020 14:06:00 +0200] rev 72367
proper usage;
2020-10-03 clarified;
changeset
wenzelm [Sat, 03 Oct 2020 13:59:56 +0200] rev 72366
clarified;
2020-10-02 merged
changeset
wenzelm [Fri, 02 Oct 2020 23:24:20 +0200] rev 72365
merged
2020-10-02 clarified installed files;
changeset
wenzelm [Fri, 02 Oct 2020 23:15:37 +0200] rev 72364
clarified installed files;
2020-10-02 build Isabelle E prover component from official downloads;
changeset
wenzelm [Fri, 02 Oct 2020 22:59:30 +0200] rev 72363
build Isabelle E prover component from official downloads;
2020-10-02 clarified signature;
changeset
wenzelm [Fri, 02 Oct 2020 21:18:27 +0200] rev 72362
clarified signature;
2020-10-02 updated for coming release;
changeset
wenzelm [Fri, 02 Oct 2020 21:10:08 +0200] rev 72361
updated for coming release;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip
isabelle