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 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 26 May 2023 15:44:59 +0200 redefined FSet.fBall and FSet.fBex as abbreviations based on Set.Ball and Set.Bex
changeset
desharna [Fri, 26 May 2023 15:44:59 +0200] rev 78117
redefined FSet.fBall and FSet.fBex as abbreviations based on Set.Ball and Set.Bex
Sat, 27 May 2023 13:30:42 +0200 merged
changeset
wenzelm [Sat, 27 May 2023 13:30:42 +0200] rev 78116
merged
Sat, 27 May 2023 13:29:13 +0200 tuned signature;
changeset
wenzelm [Sat, 27 May 2023 13:29:13 +0200] rev 78115
tuned signature;
Fri, 26 May 2023 13:19:49 +0200 clarified treatment of context;
changeset
wenzelm [Fri, 26 May 2023 13:19:49 +0200] rev 78114
clarified treatment of context;
Fri, 26 May 2023 11:47:45 +0200 clarified treatment of context;
changeset
wenzelm [Fri, 26 May 2023 11:47:45 +0200] rev 78113
clarified treatment of context;
Fri, 26 May 2023 11:46:51 +0200 more operations;
changeset
wenzelm [Fri, 26 May 2023 11:46:51 +0200] rev 78112
more operations;
Fri, 26 May 2023 10:34:39 +0200 NEWS
changeset
desharna [Fri, 26 May 2023 10:34:39 +0200] rev 78111
NEWS
Fri, 26 May 2023 10:34:32 +0200 renamed notin_fset to not_fmember
changeset
desharna [Fri, 26 May 2023 10:34:32 +0200] rev 78110
renamed notin_fset to not_fmember
Fri, 26 May 2023 09:59:06 +0200 added author
changeset
desharna [Fri, 26 May 2023 09:59:06 +0200] rev 78109
added author
Fri, 26 May 2023 09:56:20 +0200 merged
changeset
desharna [Fri, 26 May 2023 09:56:20 +0200] rev 78108
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip
isabelle