]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/index.xml
MOWGLI roles considered in people position
[helm.git] / helm / mowgli / home / xml / people / index.xml
index 1aad63c571c3ca06426584f8de8c844185a109bd..d665a88ff3fd7e4382e51d656457b54a4791a483 100644 (file)
@@ -34,6 +34,8 @@
   <person file="kohlhase"/>
   <person file="melis"/>
   <person file="moschner"/>
+  <person file="goguadze"/>
+  <person file="libbrecht"/>
  </from>
  <from site="nijmegen">
   <person file="geuvers"/>
  <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"/>