X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmowgli%2Fhome%2Fxml%2Fsites%2Fnijmegen.xml;h=a8daab27375c2b181977a4a906fa4ce0c9ee5124;hb=30ed2d8f648cf069338a9a1fdb07f0a272133042;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/}).
+ the OpenMath Esprit project (see http://www.openmath.org/).