X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Finria%2Fherbelin.xml;h=99025a5369afacda32e65b9885d822af1e53648e;hb=30ed2d8f648cf069338a9a1fdb07f0a272133042;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 @@