ocaml 3.09 transition

[helm.git] / helm / mowgli / home / xml / sites / bologna.xml

diff --git a/helm/mowgli/home/xml/sites/bologna.xml b/helm/mowgli/home/xml/sites/bologna.xml
index b145c49ffa0ca54c81adc3f66f2a962d0d8b3fd1..99949fbd6dc7b539e1a0538dec5e1d1f437915b0 100644 (file)
--- a/helm/mowgli/home/xml/sites/bologna.xml
+++ b/helm/mowgli/home/xml/sites/bologna.xml
@@ -35,7 +35,7 @@
   <member file="bologna/guidi"/>
   <member file="bologna/sacerdoti"/>
   <description>
-   <p>The <I>Hypertextual Electronic Library of Mathematics</I> Project
+   <p>The <em>Hypertextual Electronic Library of Mathematics</em> Project
     is active in Bologna since 1999. Its aim is the development of a suitable
     technology for the creation and maintenance of a virtual, distributed,
     hypertextual library of formal mathematical knowledge. As a subsidiary