From: Irene Schena
Date: Fri, 8 Mar 2002 16:40:51 +0000 (+0000)
Subject: Modified Files:
X-Git-Tag: V_0_3_0_debian_8~235
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c1776b2d8e6d965d6e20fa1420efe2bc4fa9d596;p=helm.git
Modified Files:
1) sites/dfki.xml sites/nijmegen.xml: errors fixed
---
diff --git a/helm/mowgli/home/xml/sites/dfki.xml b/helm/mowgli/home/xml/sites/dfki.xml
index ae082ab7b..61ec05468 100644
--- a/helm/mowgli/home/xml/sites/dfki.xml
+++ b/helm/mowgli/home/xml/sites/dfki.xml
@@ -16,7 +16,7 @@
is focusing on the complete cycle of innovation - from world-class basic
research and technology development through leading-edge demonstrators
and prototypes to product functions and commercialization. Based in
- Kaiserslautern and Saarbr{\"u}cken, the German Research Center for
+ Kaiserslautern and Saarbrücken, the German Research Center for
Artificial Intelligence ranks among the important ``Centers of
Excellence'' worldwide. The key directors of DFKI are Prof. Dr. Wolfgang
Wahlster (CEO) and Dr. Walter G. Olthoff (CFO).DFKI's mission is
diff --git a/helm/mowgli/home/xml/sites/nijmegen.xml b/helm/mowgli/home/xml/sites/nijmegen.xml
index 732938fc3..cba5de1f4 100644
--- a/helm/mowgli/home/xml/sites/nijmegen.xml
+++ b/helm/mowgli/home/xml/sites/nijmegen.xml
@@ -43,7 +43,7 @@
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/).