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=1aad63c571c3ca06426584f8de8c844185a109bd;hpb=95dd59cde5d1b1531b5ee9231bc3a7c627a6e317;p=helm.git

diff --git a/helm/mowgli/home/xml/people/index.xml b/helm/mowgli/home/xml/people/index.xml
index 1aad63c57..adc800cb4 100644
--- a/helm/mowgli/home/xml/people/index.xml
+++ b/helm/mowgli/home/xml/people/index.xml
@@ -28,12 +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"/>
@@ -49,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>