]> matita.cs.unibo.it Git - helm.git/commitdiff
Wrong cut & paste from Herbelin's data.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Feb 2002 11:29:39 +0000 (11:29 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Feb 2002 11:29:39 +0000 (11:29 +0000)
helm/mowgli/home/xml/people/inria/amerkad.xml

index b6cd54de3a7d6d09c5f890e86316b5ddc7cd9e5d..462e4326643ee6371f834434cc85897edb0758e8 100644 (file)
@@ -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>