ocaml 3.09 transition

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

diff --git a/helm/mowgli/home/xml/people/inria/pottier.xml b/helm/mowgli/home/xml/people/inria/pottier.xml
index 312719f850dfb2f2f1fc2bcedb105a42716b6fb6..33c1a9373aaac51d8981f27ea35919874d58af9b 100644 (file)
--- a/helm/mowgli/home/xml/people/inria/pottier.xml
+++ b/helm/mowgli/home/xml/people/inria/pottier.xml
@@ -6,6 +6,8 @@
  <name>Loic</name>
  <surname>Pottier</surname>
  <position>Researcher</position>
+ <position>Leader of the ``Interfaces'' Work-Package of the European
+  IST project MOWGLI</position>
  <e-mail>Loic.Pottier@sophia.inria.fr</e-mail>
  <url>http://www-sop.inria.fr/lemme/Loic.Pottier</url>
 </person>