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 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 11 May 2018 11:42:23 +0200 removed unused Java FX modules (it will be unbundled from JDK eventually);
changeset
wenzelm [Fri, 11 May 2018 11:42:23 +0200] rev 68144
removed unused Java FX modules (it will be unbundled from JDK eventually);
Thu, 10 May 2018 22:03:51 +0100 tidied some messy proofs
changeset
paulson <lp15@cam.ac.uk> [Thu, 10 May 2018 22:03:51 +0100] rev 68143
tidied some messy proofs
Thu, 10 May 2018 18:17:55 +0200 merged
changeset
nipkow [Thu, 10 May 2018 18:17:55 +0200] rev 68142
merged
Thu, 10 May 2018 18:17:43 +0200 more lemmas
changeset
nipkow [Thu, 10 May 2018 18:17:43 +0200] rev 68141
more lemmas
Thu, 10 May 2018 01:34:07 +0200 merged
changeset
nipkow [Thu, 10 May 2018 01:34:07 +0200] rev 68140
merged
Thu, 10 May 2018 01:33:47 +0200 simpler types
changeset
nipkow [Thu, 10 May 2018 01:33:47 +0200] rev 68139
simpler types
Thu, 10 May 2018 15:59:39 +0100 auto-tidying
changeset
paulson <lp15@cam.ac.uk> [Thu, 10 May 2018 15:59:39 +0100] rev 68138
auto-tidying
Thu, 10 May 2018 15:41:45 +0100 merged
changeset
paulson [Thu, 10 May 2018 15:41:45 +0100] rev 68137
merged
Thu, 10 May 2018 15:41:34 +0100 more on infinite products
changeset
paulson <lp15@cam.ac.uk> [Thu, 10 May 2018 15:41:34 +0100] rev 68136
more on infinite products
Wed, 09 May 2018 23:31:11 +0100 merged
changeset
paulson [Wed, 09 May 2018 23:31:11 +0100] rev 68135
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
isabelle