# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1395842488 0
# Node ID 084fe19c59ed8d24d0ec197f1b1c1fae7fb73e32
# Parent  a61171d51796c3277e1ecacbd461a1fbf6bf1f3e
updated

diff -r a61171d51796 -r 084fe19c59ed pc
--- 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