ocaml 3.09 transition

[helm.git] / helm / mowgli / home / xml / people / index.xml

diff --git a/helm/mowgli/home/xml/people/index.xml b/helm/mowgli/home/xml/people/index.xml
index e4a0f74174f091699f405840973390ee6219d245..adc800cb46894b776bfe55fa96f7a40ce7c4efa9 100644 (file)
--- a/helm/mowgli/home/xml/people/index.xml
+++ b/helm/mowgli/home/xml/people/index.xml
@@ -11,12 +11,6 @@
 ]>
 
 <people>
- <from site="aei">
-  <person file="schutz"/>
-  <person file="wegner"/>
-  <person file="kelley"/>
-  <person file="velden"/>
- </from>
  <from site="bologna">
   <person file="asperti"/>
   <person file="guidi"/>
@@ -24,11 +18,6 @@
   <person file="sacerdoti"/>
   <person file="schena"/>
  </from>
- <from site="dfki">
-  <person file="siekmann"/>
-  <person file="kohlhase"/>
-  <person file="melis"/>
- </from>
  <from site="inria">
   <person file="herbelin"/>
   <person file="amerkad"/>
@@ -39,6 +28,15 @@
   <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"/>
@@ -51,7 +49,16 @@
   <person file="stein"/>
   <person file="synek"/>
  </from>
+ <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>