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.
Thu, 26 Apr 2018 21:57:23 +0200 merged
changeset
nipkow [Thu, 26 Apr 2018 21:57:23 +0200] rev 68047
merged
Thu, 26 Apr 2018 19:51:32 +0200 new simp modifier: reorient
changeset
nipkow [Thu, 26 Apr 2018 19:51:32 +0200] rev 68046
new simp modifier: reorient
Thu, 26 Apr 2018 16:14:35 +0100 small typeclass generalisations
changeset
paulson <lp15@cam.ac.uk> [Thu, 26 Apr 2018 16:14:35 +0100] rev 68045
small typeclass generalisations
Thu, 26 Apr 2018 14:03:12 +0100 merged
changeset
paulson [Thu, 26 Apr 2018 14:03:12 +0100] rev 68044
merged
Thu, 26 Apr 2018 12:55:48 +0100 some of Jose Divasón's material from Rank_Nullity_Theorem/Miscellaneous
changeset
paulson <lp15@cam.ac.uk> [Thu, 26 Apr 2018 12:55:48 +0100] rev 68043
some of Jose Divasón's material from Rank_Nullity_Theorem/Miscellaneous
Thu, 26 Apr 2018 12:32:13 +0200 spelling;
changeset
wenzelm [Thu, 26 Apr 2018 12:32:13 +0200] rev 68042
spelling;
Wed, 25 Apr 2018 21:29:02 +0100 more messy proofs redone, and new material
changeset
paulson <lp15@cam.ac.uk> [Wed, 25 Apr 2018 21:29:02 +0100] rev 68041
more messy proofs redone, and new material
Wed, 25 Apr 2018 16:40:29 +0100 merged
changeset
paulson [Wed, 25 Apr 2018 16:40:29 +0100] rev 68040
merged
Wed, 25 Apr 2018 15:36:48 +0100 merged
changeset
paulson [Wed, 25 Apr 2018 15:36:48 +0100] rev 68039
merged
Wed, 25 Apr 2018 15:36:29 +0100 new material on matricies by Tim Makarios (from Tarskis_Geometry in the AFP)
changeset
paulson <lp15@cam.ac.uk> [Wed, 25 Apr 2018 15:36:29 +0100] rev 68038
new material on matricies by Tim Makarios (from Tarskis_Geometry in the AFP)
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
isabelle