]> 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 d665a88ff3fd7e4382e51d656457b54a4791a483..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"/>
@@ -58,5 +59,6 @@
  </from>
  <from site="trusted-logic">
   <person file="bolignano"/>
+  <person file="gimenez"/>
  </from>
 </people>