]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/index.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / index.xml
index 1aad63c571c3ca06426584f8de8c844185a109bd..adc800cb46894b776bfe55fa96f7a40ce7c4efa9 100644 (file)
   <person file="pottier"/>
   <person file="rideau"/>
   <person file="thery"/>
+  <person file="werner"/>
  </from>
  <from site="dfki">
   <person file="siekmann"/>
   <person file="kohlhase"/>
   <person file="melis"/>
   <person file="moschner"/>
+  <person file="goguadze"/>
+  <person file="libbrecht"/>
  </from>
  <from site="nijmegen">
   <person file="geuvers"/>
  <from site="aei">
   <person file="schutz"/>
   <person file="wegner"/>
+  <person file="pollney"/>
   <person file="kelley"/>
   <person file="velden"/>
+  <person file="weyher"/>
  </from>
  <from site="trusted-logic">
   <person file="bolignano"/>
+  <person file="gimenez"/>
  </from>
 </people>