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="bologna">
  15   <person file="asperti"/>
  16   <person file="guidi"/>
  17   <person file="padovani"/>
  18   <person file="sacerdoti"/>
  19   <person file="schena"/>
  20  </from>
  21  <from site="inria">
  22   <person file="herbelin"/>
  23   <person file="amerkad"/>
  24   <person file="bertot"/>
  25   <person file="chicli"/>
  26   <person file="delahaye"/>
  27   <person file="naciri"/>
  28   <person file="pottier"/>
  29   <person file="rideau"/>
  30   <person file="thery"/>
  31  </from>
  32  <from site="dfki">
  33   <person file="siekmann"/>
  34   <person file="kohlhase"/>
  35   <person file="melis"/>
  36   <person file="moschner"/>
  37  </from>
  38  <from site="nijmegen">
  39   <person file="geuvers"/>
  40   <person file="cohen"/>
  41   <person file="barendregt"/>
  42   <person file="wiedijk"/>
  43   <person file="barreiro"/>
  44   <person file="cruz-filipe"/>
  45   <person file="niqui"/>
  46   <person file="stein"/>
  47   <person file="synek"/>
  48  </from>
  49  <from site="aei">
  50   <person file="schutz"/>
  51   <person file="wegner"/>
  52   <person file="kelley"/>
  53   <person file="velden"/>
  54  </from>
  55  <from site="trusted-logic">
  56   <person file="bolignano"/>
  57  </from>
  58 </people>