+++ /dev/null
-<?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="bologna">
- <person file="asperti"/>
- <person file="guidi"/>
- <person file="padovani"/>
- <person file="sacerdoti"/>
- <person file="schena"/>
- </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"/>
- <person file="werner"/>
- </from>
- <from site="dfki">
- <person file="siekmann"/>
- <person file="kohlhase"/>
- <person file="melis"/>
- <person file="moschner"/>
- <person file="goguadze"/>
- <person file="libbrecht"/>
- </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="aei">
- <person file="schutz"/>
- <person file="wegner"/>
- <person file="pollney"/>
- <person file="kelley"/>
- <person file="velden"/>
- <person file="weyher"/>
- </from>
- <from site="trusted-logic">
- <person file="bolignano"/>
- <person file="gimenez"/>
- </from>
-</people>