Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +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 17:27:30 +0200 proper heading;
changeset
wenzelm [Fri, 11 May 2018 17:27:30 +0200] rev 68145
proper heading;
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
Wed, 09 May 2018 22:11:02 +0100 part tidy-up of Determinants
changeset
paulson <lp15@cam.ac.uk> [Wed, 09 May 2018 22:11:02 +0100] rev 68134
part tidy-up of Determinants
Wed, 09 May 2018 22:25:24 +0200 less ambitious parallelism, notably for threads=2;
changeset
wenzelm [Wed, 09 May 2018 22:25:24 +0200] rev 68133
less ambitious parallelism, notably for threads=2;
Wed, 09 May 2018 22:04:09 +0200 more informative error, notably for missing executable;
changeset
wenzelm [Wed, 09 May 2018 22:04:09 +0200] rev 68132
more informative error, notably for missing executable;
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 tip
isabelle