X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Finria%2Fpottier.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Finria%2Fpottier.xml;h=0000000000000000000000000000000000000000;hp=33c1a9373aaac51d8981f27ea35919874d58af9b;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1 diff --git a/helm/mowgli/home/xml/people/inria/pottier.xml b/helm/mowgli/home/xml/people/inria/pottier.xml deleted file mode 100644 index 33c1a9373..000000000 --- a/helm/mowgli/home/xml/people/inria/pottier.xml +++ /dev/null @@ -1,13 +0,0 @@ - - - - - - Loic - Pottier - Researcher - Leader of the ``Interfaces'' Work-Package of the European - IST project MOWGLI - Loic.Pottier@sophia.inria.fr - http://www-sop.inria.fr/lemme/Loic.Pottier -