Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 04 Oct 2021 17:22:17 +0200 tuned;
changeset
wenzelm [Mon, 04 Oct 2021 17:22:17 +0200] rev 74442
tuned;
Mon, 04 Oct 2021 17:09:12 +0200 tuned;
changeset
wenzelm [Mon, 04 Oct 2021 17:09:12 +0200] rev 74441
tuned;
Mon, 04 Oct 2021 16:11:18 +0100 merged
changeset
paulson [Mon, 04 Oct 2021 16:11:18 +0100] rev 74440
merged
Mon, 04 Oct 2021 16:10:55 +0100 removal of a redundant theorem (and white space)
changeset
paulson <lp15@cam.ac.uk> [Mon, 04 Oct 2021 16:10:55 +0100] rev 74439
removal of a redundant theorem (and white space)
Mon, 04 Oct 2021 12:32:50 +0100 new material from the Roth development, mostly about finite sets, disjoint famillies and partitions
changeset
paulson <lp15@cam.ac.uk> [Mon, 04 Oct 2021 12:32:50 +0100] rev 74438
new material from the Roth development, mostly about finite sets, disjoint famillies and partitions
Mon, 04 Oct 2021 15:01:50 +0200 clarified and updated for release;
changeset
wenzelm [Mon, 04 Oct 2021 15:01:50 +0200] rev 74437
clarified and updated for release;
Mon, 04 Oct 2021 14:07:15 +0200 formal comment concerning 83d2208252d1 vs. d8dc8fdc46fc;
changeset
wenzelm [Mon, 04 Oct 2021 14:07:15 +0200] rev 74436
formal comment concerning 83d2208252d1 vs. d8dc8fdc46fc;
Mon, 04 Oct 2021 14:02:11 +0200 more NEWS and CONTRIBUTORS;
changeset
wenzelm [Mon, 04 Oct 2021 14:02:11 +0200] rev 74435
more NEWS and CONTRIBUTORS;
Mon, 04 Oct 2021 13:53:41 +0200 clarified comments;
changeset
wenzelm [Mon, 04 Oct 2021 13:53:41 +0200] rev 74434
clarified comments;
Mon, 04 Oct 2021 13:39:38 +0200 support symbol \<Parallel>, based on \bigparallel from stdmaryd (stmary10.pfb: move y=1100, scale 222%, embolden by 40 units, adjust spacing);
changeset
wenzelm [Mon, 04 Oct 2021 13:39:38 +0200] rev 74433
support symbol \<Parallel>, based on \bigparallel from stdmaryd (stmary10.pfb: move y=1100, scale 222%, embolden by 40 units, adjust spacing);
Mon, 04 Oct 2021 13:32:34 +0200 clarified dependencies;
changeset
wenzelm [Mon, 04 Oct 2021 13:32:34 +0200] rev 74432
clarified dependencies;
Sun, 03 Oct 2021 21:29:34 +0200 updated for release;
changeset
wenzelm [Sun, 03 Oct 2021 21:29:34 +0200] rev 74431
updated for release;
Sun, 03 Oct 2021 18:23:12 +0200 Added tag Isabelle2021-1-RC0 for changeset fedc0b659881
changeset
isatest [Sun, 03 Oct 2021 18:23:12 +0200] rev 74430
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;
changeset
wenzelm [Sat, 02 Oct 2021 22:11:34 +0200] rev 74429
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
Sat, 02 Oct 2021 20:44:33 +0200 merged
changeset
wenzelm [Sat, 02 Oct 2021 20:44:33 +0200] rev 74428
merged
Sat, 02 Oct 2021 20:44:14 +0200 updated for release;
changeset
wenzelm [Sat, 02 Oct 2021 20:44:14 +0200] rev 74427
updated for release;
Sat, 02 Oct 2021 20:39:08 +0200 misc tuning for release;
changeset
wenzelm [Sat, 02 Oct 2021 20:39:08 +0200] rev 74426
misc tuning for release;
Sat, 02 Oct 2021 20:38:50 +0200 update dependency;
changeset
wenzelm [Sat, 02 Oct 2021 20:38:50 +0200] rev 74425
update dependency;
Sat, 02 Oct 2021 20:31:46 +0200 trim whitespace;
changeset
wenzelm [Sat, 02 Oct 2021 20:31:46 +0200] rev 74424
trim whitespace;
Sat, 02 Oct 2021 20:28:30 +0200 misc tuning for release;
changeset
wenzelm [Sat, 02 Oct 2021 20:28:30 +0200] rev 74423
misc tuning for release;
Sat, 02 Oct 2021 20:27:13 +0200 misc tuning for release;
changeset
wenzelm [Sat, 02 Oct 2021 20:27:13 +0200] rev 74422
misc tuning for release;
Sat, 02 Oct 2021 20:18:20 +0200 isabelle build_components -u;
changeset
wenzelm [Sat, 02 Oct 2021 20:18:20 +0200] rev 74421
isabelle build_components -u;
Sat, 02 Oct 2021 20:00:02 +0200 updated to Haskell Stach lts-18.12 with GHC ghc-8.10.7;
changeset
wenzelm [Sat, 02 Oct 2021 20:00:02 +0200] rev 74420
updated to Haskell Stach lts-18.12 with GHC ghc-8.10.7;
Sat, 02 Oct 2021 19:28:47 +0200 updated to current Cygwin, near 3.2.0;
changeset
wenzelm [Sat, 02 Oct 2021 19:28:47 +0200] rev 74419
updated to current Cygwin, near 3.2.0; discontinued perl;
Sat, 02 Oct 2021 18:18:09 +0200 updated to sumatra_pdf-3.3.3;
changeset
wenzelm [Sat, 02 Oct 2021 18:18:09 +0200] rev 74418
updated to sumatra_pdf-3.3.3;
Sat, 02 Oct 2021 18:04:25 +0200 updated default version;
changeset
wenzelm [Sat, 02 Oct 2021 18:04:25 +0200] rev 74417
updated default version;
Sat, 02 Oct 2021 17:55:36 +0200 updated to xz-java-1.9;
changeset
wenzelm [Sat, 02 Oct 2021 17:55:36 +0200] rev 74416
updated to xz-java-1.9;
Sat, 02 Oct 2021 17:45:49 +0200 updated to sqlite-jdbc-3.36.0.3;
changeset
wenzelm [Sat, 02 Oct 2021 17:45:49 +0200] rev 74415
updated to sqlite-jdbc-3.36.0.3;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 tip
isabelle