]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/people/index.xml
9348d5bf0194799024192c6bf240f7a08d0dd2f5
[helm.git] / 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   <person file="goguadze"/>
38   <person file="libbrecht"/>
39  </from>
40  <from site="nijmegen">
41   <person file="geuvers"/>
42   <person file="cohen"/>
43   <person file="barendregt"/>
44   <person file="wiedijk"/>
45   <person file="barreiro"/>
46   <person file="cruz-filipe"/>
47   <person file="niqui"/>
48   <person file="stein"/>
49   <person file="synek"/>
50  </from>
51  <from site="aei">
52   <person file="schutz"/>
53   <person file="wegner"/>
54   <person file="kelley"/>
55   <person file="velden"/>
56  </from>
57  <from site="trusted-logic">
58   <person file="bolignano"/>
59  </from>
60 </people>