X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fsites%2Fnijmegen.xml;h=a8daab27375c2b181977a4a906fa4ce0c9ee5124;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=732938fc37d2d805f0e78f4cf25bb54967a112f1;hpb=d8ad1d26122af00feda930086b6cfa42de0139fe;p=helm.git

diff --git a/helm/mowgli/home/xml/sites/nijmegen.xml b/helm/mowgli/home/xml/sites/nijmegen.xml
index 732938fc3..a8daab273 100644
--- a/helm/mowgli/home/xml/sites/nijmegen.xml
+++ b/helm/mowgli/home/xml/sites/nijmegen.xml
@@ -43,15 +43,16 @@
      computer applications.
      The research group of Cohen is part of the
      IST Thematic Network ``OpenMath'' (IST-2000-28719) and its ancestor,
-     the OpenMath Esprit project ({\tt http://www.openmath.org/}).</p>
+     the OpenMath Esprit project (see <a target="_top" href="http://www.openmath.org/">http://www.openmath.org/</a>).</p>
  </description>
  <member file="nijmegen/geuvers"/>
  <member file="nijmegen/cohen"/>
  <member file="nijmegen/barendregt"/>
+ <member file="nijmegen/wiedijk"/>
+ <member file="nijmegen/barreiro"/>
+ <member file="nijmegen/cruz-filipe"/>
  <member file="nijmegen/niqui"/>
  <member file="nijmegen/stein"/>
- <member file="nijmegen/cruz-filipe"/>
- <member file="nijmegen/wiedijk"/>
  <member file="nijmegen/synek"/>
- <member file="nijmegen/barreiro"/>
+
 </site>