--- 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