helm/mowgli/home/xml/people/index.xml

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE people [
   4  <!ELEMENT people (from*)>
   5  <!ELEMENT from (person*)>
   6  <!ATTLIST from
   7            site CDATA #REQUIRED>
   8  <!ELEMENT person EMPTY>
   9  <!ATTLIST person
  10            file CDATA #REQUIRED>
  11 ]>
  12
  13 <people>
  14  <from site="aei">
  15   <person file="schutz"/>
  16   <person file="wegner"/>
  17   <person file="kelley"/>
  18   <person file="velden"/>
  19  </from>
  20  <from site="bologna">
  21   <person file="asperti"/>
  22   <person file="guidi"/>
  23   <person file="padovani"/>
  24   <person file="sacerdoti"/>
  25   <person file="schena"/>
  26  </from>
  27  <from site="dfki">
  28   <person file="siekmann"/>
  29   <person file="kohlhase"/>
  30   <person file="melis"/>
  31  </from>
  32  <from site="inria">
  33   <person file="herbelin"/>
  34   <person file="amerkad"/>
  35   <person file="bertot"/>
  36   <person file="chicli"/>
  37   <person file="delahaye"/>
  38   <person file="naciri"/>
  39   <person file="pottier"/>
  40   <person file="rideau"/>
  41   <person file="thery"/>
  42  </from>
  43  <from site="nijmegen">
  44   <person file="geuvers"/>
  45   <person file="cohen"/>
  46   <person file="barendregt"/>
  47   <person file="wiedijk"/>
  48   <person file="barreiro"/>
  49   <person file="cruz-filipe"/>
  50   <person file="niqui"/>
  51   <person file="stein"/>
  52   <person file="synek"/>
  53  </from>
  54  <from site="trusted-logic">
  55   <person file="bolignano"/>
  56  </from>
  57 </people>