X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fsites%2Fbologna.xml;h=99949fbd6dc7b539e1a0538dec5e1d1f437915b0;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=b145c49ffa0ca54c81adc3f66f2a962d0d8b3fd1;hpb=d8ad1d26122af00feda930086b6cfa42de0139fe;p=helm.git diff --git a/helm/mowgli/home/xml/sites/bologna.xml b/helm/mowgli/home/xml/sites/bologna.xml index b145c49ff..99949fbd6 100644 --- a/helm/mowgli/home/xml/sites/bologna.xml +++ b/helm/mowgli/home/xml/sites/bologna.xml @@ -35,7 +35,7 @@ -

The Hypertextual Electronic Library of Mathematics Project +

The Hypertextual Electronic Library of Mathematics 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