X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Findex.xml;h=adc800cb46894b776bfe55fa96f7a40ce7c4efa9;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=e4a0f74174f091699f405840973390ee6219d245;hpb=9152ee5971532f9ad3525e64c8102a930206027c;p=helm.git

diff --git a/helm/mowgli/home/xml/people/index.xml b/helm/mowgli/home/xml/people/index.xml
index e4a0f7417..adc800cb4 100644
--- 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>