X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Findex.xml;h=d665a88ff3fd7e4382e51d656457b54a4791a483;hb=29a4bd2afea28e62051cb491aa888ff51528a7b1;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..d665a88ff 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"/>
@@ -40,6 +29,14 @@
   <person file="rideau"/>
   <person file="thery"/>
  </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"/>
   <person file="cohen"/>
@@ -51,6 +48,14 @@
   <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"/>
  </from>