This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / mowgli / home / xml / people / inria / werner.xml

diff --git a/helm/mowgli/home/xml/people/inria/werner.xml b/helm/mowgli/home/xml/people/inria/werner.xml
deleted file mode 100644 (file)
index 746624e..0000000
--- 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>