]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/index.xml
* New MOWGLI members
[helm.git] / helm / mowgli / home / xml / people / index.xml
index 9348d5bf0194799024192c6bf240f7a08d0dd2f5..d665a88ff3fd7e4382e51d656457b54a4791a483 100644 (file)
  <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"/>