]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/index.xml
This commit was manufactured by cvs2svn to create branch 'moogle'.
[helm.git] / helm / mowgli / home / xml / people / index.xml
diff --git a/helm/mowgli/home/xml/people/index.xml b/helm/mowgli/home/xml/people/index.xml
deleted file mode 100644 (file)
index adc800c..0000000
+++ /dev/null
@@ -1,64 +0,0 @@
-<?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>