The list of persons in the "By Site" ordering is now also

[helm.git] / helm / mowgli / home / xml / people / index.xml

diff --git a/helm/mowgli/home/xml/people/index.xml b/helm/mowgli/home/xml/people/index.xml
new file mode 100644 (file)
index 0000000..e4a0f74
--- /dev/null
+++ b/helm/mowgli/home/xml/people/index.xml
@@ -0,0 +1,57 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE people [
+ <!ELEMENT people (from*)>
+ <!ELEMENT from (person*)>
+ <!ATTLIST from
+           site CDATA #REQUIRED>
+ <!ELEMENT person EMPTY>
+ <!ATTLIST person
+           file CDATA #REQUIRED>
+]>
+
+<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"/>
+  <person file="padovani"/>
+  <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"/>
+  <person file="bertot"/>
+  <person file="chicli"/>
+  <person file="delahaye"/>
+  <person file="naciri"/>
+  <person file="pottier"/>
+  <person file="rideau"/>
+  <person file="thery"/>
+ </from>
+ <from site="nijmegen">
+  <person file="geuvers"/>
+  <person file="cohen"/>
+  <person file="barendregt"/>
+  <person file="wiedijk"/>
+  <person file="barreiro"/>
+  <person file="cruz-filipe"/>
+  <person file="niqui"/>
+  <person file="stein"/>
+  <person file="synek"/>
+ </from>
+ <from site="trusted-logic">
+  <person file="bolignano"/>
+ </from>
+</people>