X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Finria%2Fherbelin.xml;h=99025a5369afacda32e65b9885d822af1e53648e;hb=acf29bdbdcdc6ad8c2d9d27e8a47500981b605cd;hp=d8bb383a284a26cac3760e9467ebf81c10478dae;hpb=d8ad1d26122af00feda930086b6cfa42de0139fe;p=helm.git
diff --git a/helm/mowgli/home/xml/people/inria/herbelin.xml b/helm/mowgli/home/xml/people/inria/herbelin.xml
index d8bb383a2..99025a536 100644
--- a/helm/mowgli/home/xml/people/inria/herbelin.xml
+++ b/helm/mowgli/home/xml/people/inria/herbelin.xml
@@ -8,6 +8,8 @@