Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 01 Mar 2022 15:05:27 +0000 Added some theorems (from Wetzel)
changeset
paulson <lp15@cam.ac.uk> [Tue, 01 Mar 2022 15:05:27 +0000] rev 75168
Added some theorems (from Wetzel)
Mon, 28 Feb 2022 13:10:22 +0100 tuned;
changeset
wenzelm [Mon, 28 Feb 2022 13:10:22 +0100] rev 75167
tuned;
Mon, 28 Feb 2022 13:02:40 +0100 tuned;
changeset
wenzelm [Mon, 28 Feb 2022 13:02:40 +0100] rev 75166
tuned;
Mon, 28 Feb 2022 12:56:13 +0100 tuned message;
changeset
wenzelm [Mon, 28 Feb 2022 12:56:13 +0100] rev 75165
tuned message;
Mon, 28 Feb 2022 12:53:17 +0100 disable extension updates;
changeset
wenzelm [Mon, 28 Feb 2022 12:53:17 +0100] rev 75164
disable extension updates;
Mon, 28 Feb 2022 12:51:27 +0100 tuned message;
changeset
wenzelm [Mon, 28 Feb 2022 12:51:27 +0100] rev 75163
tuned message;
Mon, 28 Feb 2022 12:41:48 +0100 disable check for updates: support just one static version;
changeset
wenzelm [Mon, 28 Feb 2022 12:41:48 +0100] rev 75162
disable check for updates: support just one static version;
Sun, 27 Feb 2022 20:00:23 +0100 misc tuning based on comments by Heiko Eißfeldt;
changeset
wenzelm [Sun, 27 Feb 2022 20:00:23 +0100] rev 75161
misc tuning based on comments by Heiko Eißfeldt;
Sun, 27 Feb 2022 18:58:50 +0100 misc tuning based on comments by Heiko Eißfeldt;
changeset
wenzelm [Sun, 27 Feb 2022 18:58:50 +0100] rev 75160
misc tuning based on comments by Heiko Eißfeldt;
Sat, 26 Feb 2022 22:00:22 +0100 removed junk;
changeset
wenzelm [Sat, 26 Feb 2022 22:00:22 +0100] rev 75159
removed junk;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip
isabelle