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 pc
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 20 Aug 2014 08:48:07 +0100
changeset 77 50e739f0a836
parent 76 56c28e4152f0
child 78 5e588da951ce
updated pc
pc file | annotate | diff | comparison | revisions 
--- a/pc	Tue Aug 12 14:45:03 2014 +0100
+++ b/pc	Wed Aug 20 08:48:07 2014 +0100
@@ -13,7 +13,7 @@
 (or Magnus Myreen)
 Xavier Leroy
 Sandry Blazy      (IRISA?)      
-Herman Geuvers    (asked)
+Herman Geuvers    (Nijmegen)
 Xinyu Feng        (Suzhou Institute for Advanced Study)
 Alwen Tui
 Humin Lin         (asked)
@@ -24,7 +24,7 @@
 Bob Constable
 Jesper Bengtson   (ITU)
 Lars Birkedal     (Aarhus)
-(15)
+(16)
 
 Previous ITP was 33
itp-2015