Mercurial Mercurial > hg > pip / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30 -10 -3 +3 +10 +30 +100 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 20 May 2014 12:49:21 +0100 updated ROOT file
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 20 May 2014 12:49:21 +0100] rev 34
updated ROOT file
Thu, 15 May 2014 16:02:44 +0100 simplified the cp_rec proof
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 15 May 2014 16:02:44 +0100] rev 33
simplified the cp_rec proof
Tue, 06 May 2014 14:36:40 +0100 made some modifications.
changeset
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 06 May 2014 14:36:40 +0100] rev 32
made some modifications.
(0) -30 -10 -3 +3 +10 +30 +100 tip
pip