Mercurial Mercurial > hg > itp-2015 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 26 Mar 2014 14:01:28 +0000
changeset 67 084fe19c59ed
parent 66 a61171d51796
child 68 1f237ce9630a
updated
pc file | annotate | diff | comparison | revisions 
--- a/pc	Wed Mar 26 13:55:23 2014 +0000
+++ b/pc	Wed Mar 26 14:01:28 2014 +0000
@@ -24,8 +24,10 @@
 Yves Bertot
 John Matthews
 Konrad Slind
+Gilles Dowek
 
 
 
 ---------
 Christine Paulin-Mohring
+Larry Paulson
itp-2015