ocaml 3.09 transition

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

diff --git a/helm/mowgli/home/xml/sites/nijmegen.xml b/helm/mowgli/home/xml/sites/nijmegen.xml
index 732938fc37d2d805f0e78f4cf25bb54967a112f1..a8daab27375c2b181977a4a906fa4ce0c9ee5124 100644 (file)
--- 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>