From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 13 Feb 2002 11:29:39 +0000 (+0000)
Subject: Wrong cut & paste from Herbelin's data.
X-Git-Tag: V_0_3_0_debian_8~338
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=916a721839ac29fb98af0412bdd00733e4d5cedb;p=helm.git

Wrong cut & paste from Herbelin's data.
---

diff --git a/helm/mowgli/home/xml/people/inria/amerkad.xml b/helm/mowgli/home/xml/people/inria/amerkad.xml
index b6cd54de3..462e43266 100644
--- a/helm/mowgli/home/xml/people/inria/amerkad.xml
+++ b/helm/mowgli/home/xml/people/inria/amerkad.xml
@@ -3,9 +3,8 @@
 <!DOCTYPE person SYSTEM "../person.dtd">
 
 <person>
- <name>Hugo</name>
- <surname>Herbelin</surname>
- <qualification>Prof.</qualification>
- <e-mail>Hugo.Herbelin@inria.fr</e-mail>
- <url>http://pauillac.inria.fr/~herbelin</url>
+ <name>Ahmed</name>
+ <surname>Amerkad</surname>
+ <e-mail>Ahmed.Amerkad@inria.fr</e-mail>
+ <url>http://www-sop.inria.fr/lemme/Ahmed.Amerkad</url>
 </person>