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.
Thu, 24 Mar 2022 22:21:24 +0000 merged
changeset
paulson [Thu, 24 Mar 2022 22:21:24 +0000] rev 75330
merged
Thu, 24 Mar 2022 18:50:11 +0000 really removing Dedekind_real
changeset
paulson <lp15@cam.ac.uk> [Thu, 24 Mar 2022 18:50:11 +0000] rev 75329
really removing Dedekind_real
Thu, 24 Mar 2022 18:28:51 +0000 merged
changeset
paulson [Thu, 24 Mar 2022 18:28:51 +0000] rev 75328
merged
Thu, 24 Mar 2022 18:28:44 +0000 Moving Dedekind_Real to the AFP
changeset
paulson <lp15@cam.ac.uk> [Thu, 24 Mar 2022 18:28:44 +0000] rev 75327
Moving Dedekind_Real to the AFP
Thu, 24 Mar 2022 16:34:44 +0000 tuned
changeset
haftmann [Thu, 24 Mar 2022 16:34:44 +0000] rev 75326
tuned
Thu, 24 Mar 2022 16:34:43 +0000 separated case reduction
changeset
haftmann [Thu, 24 Mar 2022 16:34:43 +0000] rev 75325
separated case reduction
Thu, 24 Mar 2022 16:34:42 +0000 separated selector function entirely
changeset
haftmann [Thu, 24 Mar 2022 16:34:42 +0000] rev 75324
separated selector function entirely
Thu, 24 Mar 2022 16:34:41 +0000 self-contained extraction auf clauses
changeset
haftmann [Thu, 24 Mar 2022 16:34:41 +0000] rev 75323
self-contained extraction auf clauses
Thu, 24 Mar 2022 16:34:40 +0000 extracted selector function, restoring code generation for let expressions
changeset
haftmann [Thu, 24 Mar 2022 16:34:40 +0000] rev 75322
extracted selector function, restoring code generation for let expressions
Thu, 24 Mar 2022 16:34:39 +0000 streamlined
changeset
haftmann [Thu, 24 Mar 2022 16:34:39 +0000] rev 75321
streamlined
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip
isabelle