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.
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
Fri, 26 May 2023 09:49:45 +0200 adapted Transfer_Debug from fmember to fempty
changeset
desharna [Fri, 26 May 2023 09:49:45 +0200] rev 78107
adapted Transfer_Debug from fmember to fempty
Fri, 26 May 2023 09:48:55 +0200 renamed variables
changeset
desharna [Fri, 26 May 2023 09:48:55 +0200] rev 78106
renamed variables
Wed, 17 May 2023 09:00:04 +0200 merged
changeset
desharna [Wed, 17 May 2023 09:00:04 +0200] rev 78105
merged
Tue, 16 May 2023 23:41:20 +0200 fixed lemma name
changeset
desharna [Tue, 16 May 2023 23:41:20 +0200] rev 78104
fixed lemma name
Tue, 16 May 2023 22:23:05 +0200 redefined FSet.fmember as an abbreviation based on Set.member
changeset
desharna [Tue, 16 May 2023 22:23:05 +0200] rev 78103
redefined FSet.fmember as an abbreviation based on Set.member
Tue, 16 May 2023 14:16:20 +0200 replaced some lemmas' implicit formulas by explicit ones to avoid silent changes
changeset
desharna [Tue, 16 May 2023 14:16:20 +0200] rev 78102
replaced some lemmas' implicit formulas by explicit ones to avoid silent changes
Thu, 25 May 2023 13:58:46 +0200 merged
changeset
wenzelm [Thu, 25 May 2023 13:58:46 +0200] rev 78101
merged
Tue, 23 May 2023 21:53:18 +0200 proper setup for rule attribute;
changeset
wenzelm [Tue, 23 May 2023 21:53:18 +0200] rev 78100
proper setup for rule attribute;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip
isabelle