X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Finria%2Fwerner.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Finria%2Fwerner.xml;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=746624ec3959178642a08460f5596bc0d1994a7b;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/mowgli/home/xml/people/inria/werner.xml b/helm/mowgli/home/xml/people/inria/werner.xml
deleted file mode 100644
index 746624ec3..000000000
--- a/helm/mowgli/home/xml/people/inria/werner.xml
+++ /dev/null
@@ -1,20 +0,0 @@
-<?xml version="1.0" encoding="iso-8859-1"?>
-
-<!DOCTYPE person SYSTEM "../person.dtd">
-
-<person>
- <name>Benjamin</name>
- <surname>Werner</surname>
- <qualification>Dr.</qualification>
- <position>Permanent researcher at INRIA.</position>
- <position>Teaching a graduate course at Université Paris 7 and
-  undergraduate course at ENSTA.</position>
- <e-mail>Benjamin.Werner@inria.fr</e-mail>
- <url>http://logical.inria.fr/~werner/</url>
- <curriculum>
-  <p>Benjamin Werner was born in 1966. He graduated from Ecole Polytechnique
-     in 1989 and was awarded a PhD in computer science form université
-     Paris 7 in 1994. He is since a researcher at INRIA-Rocquencourt,
-     working on logical formalisms, type theory and the proof system Coq.</p>
- </curriculum>
-</person>