]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/people/index.xml
ocaml 3.09 transition
[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   <person file="werner"/>
32  </from>
33  <from site="dfki">
34   <person file="siekmann"/>
35   <person file="kohlhase"/>
36   <person file="melis"/>
37   <person file="moschner"/>
38   <person file="goguadze"/>
39   <person file="libbrecht"/>
40  </from>
41  <from site="nijmegen">
42   <person file="geuvers"/>
43   <person file="cohen"/>
44   <person file="barendregt"/>
45   <person file="wiedijk"/>
46   <person file="barreiro"/>
47   <person file="cruz-filipe"/>
48   <person file="niqui"/>
49   <person file="stein"/>
50   <person file="synek"/>
51  </from>
52  <from site="aei">
53   <person file="schutz"/>
54   <person file="wegner"/>
55   <person file="pollney"/>
56   <person file="kelley"/>
57   <person file="velden"/>
58   <person file="weyher"/>
59  </from>
60  <from site="trusted-logic">
61   <person file="bolignano"/>
62   <person file="gimenez"/>
63  </from>
64 </people>