]> 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 9348d5bf0194799024192c6bf240f7a08d0dd2f5..adc800cb46894b776bfe55fa96f7a40ce7c4efa9 100644 (file)
@@ -28,6 +28,7 @@
   <person file="pottier"/>
   <person file="rideau"/>
   <person file="thery"/>
+  <person file="werner"/>
  </from>
  <from site="dfki">
   <person file="siekmann"/>
  <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>