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=3edd447a165216f33581039fda8281c2f7a1a84f;hpb=9d23714b3eea72759a4151db013fd37415ae8c2b;p=helm.git

diff --git a/helm/mowgli/home/xml/people/index.xml b/helm/mowgli/home/xml/people/index.xml
index 3edd447a1..adc800cb4 100644
--- a/helm/mowgli/home/xml/people/index.xml
+++ b/helm/mowgli/home/xml/people/index.xml
@@ -28,11 +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"/>
@@ -48,10 +52,13 @@
  <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>