diff -r aba8911d873e -r a61171d51796 pc
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/pc	Wed Mar 26 13:55:23 2014 +0000
@@ -0,0 +1,31 @@
+Gerwin Klein
+Ruben Gamboa
+Tobias Nipkow
+Zhong Shao
+Micheal Norrish
+John Harrison
+Matt Kaufman
+Thierie Coquand
+Steffen Berghofer
+Georges Gonthier
+Cezar Munos
+Randy Pollack
+Mike Gordon (Magnus Myreen)
+Xavier Leroy
+Sandry Blazy
+Jeremy Avigard
+Herman Geuvers
+Xingyu Feng
+Alwen Tui
+Jouanaud
+Humin Lin
+Nick Benton
+Andrew Appel
+Yves Bertot
+John Matthews
+Konrad Slind
+
+
+
+---------
+Christine Paulin-Mohring