X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Findex.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Findex.xml;h=0000000000000000000000000000000000000000;hp=adc800cb46894b776bfe55fa96f7a40ce7c4efa9;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

diff --git a/helm/mowgli/home/xml/people/index.xml b/helm/mowgli/home/xml/people/index.xml
deleted file mode 100644
index adc800cb4..000000000
--- a/helm/mowgli/home/xml/people/index.xml
+++ /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>