From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 21 Feb 2002 18:37:34 +0000 (+0000)
Subject: Missing informations filled in.
X-Git-Tag: V_0_3_0_debian_8~286
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=843582f786643b7eee5014ea41036a88b6f1f032;p=helm.git

Missing informations filled in.
---

diff --git a/helm/mowgli/home/xml/people/aei/kelley.xml b/helm/mowgli/home/xml/people/aei/kelley.xml
index d371e8825..7312782d0 100644
--- a/helm/mowgli/home/xml/people/aei/kelley.xml
+++ b/helm/mowgli/home/xml/people/aei/kelley.xml
@@ -6,5 +6,5 @@
  <name>Ian</name>
  <surname>Kelley</surname>
  <position>Programmer</position>
- <e-mail>???</e-mail>
+ <e-mail>ikelley@aei-potsdam.mpg.de</e-mail>
 </person>
diff --git a/helm/mowgli/home/xml/people/aei/wegner.xml b/helm/mowgli/home/xml/people/aei/wegner.xml
index 450380aa5..7810ee388 100644
--- a/helm/mowgli/home/xml/people/aei/wegner.xml
+++ b/helm/mowgli/home/xml/people/aei/wegner.xml
@@ -36,8 +36,8 @@
   mathematics</position>
  <position>member of the board of IWI (Institute for Scientific Information in
   Osnabrueck)</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>wegner@math.TU-Berlin.DE</e-mail>
+ <url>http://www.zblmath.fiz-karlsruhe.de/people/wegner.html</url>
  <curriculum>
   <p>He has participated with one or more talks at about 20 events on electronic
      information and communication in 2000, including continental congresses in
diff --git a/helm/mowgli/home/xml/people/nijmegen/barendregt.xml b/helm/mowgli/home/xml/people/nijmegen/barendregt.xml
index 339462738..e509f745b 100644
--- a/helm/mowgli/home/xml/people/nijmegen/barendregt.xml
+++ b/helm/mowgli/home/xml/people/nijmegen/barendregt.xml
@@ -7,6 +7,6 @@
  <surname>Barendregt</surname>
  <qualification>Prof.</qualification>
  <position>Full Professor, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>henk@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~henk</url>
 </person>
diff --git a/helm/mowgli/home/xml/people/nijmegen/barreiro.xml b/helm/mowgli/home/xml/people/nijmegen/barreiro.xml
index bea79cb95..ab70ec62d 100644
--- a/helm/mowgli/home/xml/people/nijmegen/barreiro.xml
+++ b/helm/mowgli/home/xml/people/nijmegen/barreiro.xml
@@ -6,6 +6,5 @@
  <name>Ernesto Reinaldo</name>
  <surname>Barreiro</surname>
  <position>Ph.D. Student, Eindhoven</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>ereinald@win.tue.nl</e-mail>
 </person>
diff --git a/helm/mowgli/home/xml/people/nijmegen/cohen.xml b/helm/mowgli/home/xml/people/nijmegen/cohen.xml
index 447c6b428..5dde5b144 100644
--- a/helm/mowgli/home/xml/people/nijmegen/cohen.xml
+++ b/helm/mowgli/home/xml/people/nijmegen/cohen.xml
@@ -7,6 +7,6 @@
  <surname>Cohen</surname>
  <qualification>Prof.</qualification>
  <position>Full Professor, Eindhoven</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>A.M.Cohen@tue.nl</e-mail>
+ <url>http://www.win.tue.nl/~amc</url>
 </person>
diff --git a/helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml b/helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml
index febda7158..7398ea2d7 100644
--- a/helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml
+++ b/helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml
@@ -6,6 +6,6 @@
  <name>Luiz</name>
  <surname>Crus-Filipe</surname>
  <position>Ph.D. Student, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>lcf@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~lcf</url>
 </person>
diff --git a/helm/mowgli/home/xml/people/nijmegen/niqui.xml b/helm/mowgli/home/xml/people/nijmegen/niqui.xml
index 723dbf3bd..a56eaab44 100644
--- a/helm/mowgli/home/xml/people/nijmegen/niqui.xml
+++ b/helm/mowgli/home/xml/people/nijmegen/niqui.xml
@@ -6,6 +6,6 @@
  <name>Milan</name>
  <surname>Niqui</surname>
  <position>Ph.D. student, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>milad@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~milad</url>
 </person>
diff --git a/helm/mowgli/home/xml/people/nijmegen/stein.xml b/helm/mowgli/home/xml/people/nijmegen/stein.xml
index cff0c62e5..d3d1552ab 100644
--- a/helm/mowgli/home/xml/people/nijmegen/stein.xml
+++ b/helm/mowgli/home/xml/people/nijmegen/stein.xml
@@ -6,6 +6,6 @@
  <name>Jasper</name>
  <surname>Stein</surname>
  <position>Ph.D. Student, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>jasper@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~jasper</url>
 </person>
diff --git a/helm/mowgli/home/xml/people/nijmegen/synek.xml b/helm/mowgli/home/xml/people/nijmegen/synek.xml
index 4861a6991..a23063708 100644
--- a/helm/mowgli/home/xml/people/nijmegen/synek.xml
+++ b/helm/mowgli/home/xml/people/nijmegen/synek.xml
@@ -6,6 +6,6 @@
  <name>Dan</name>
  <surname>Synek</surname>
  <position>Programmer, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>synek@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~synek</url>
 </person>
diff --git a/helm/mowgli/home/xml/people/nijmegen/wiedijk.xml b/helm/mowgli/home/xml/people/nijmegen/wiedijk.xml
index 7aec7ad04..11ea7ecdf 100644
--- a/helm/mowgli/home/xml/people/nijmegen/wiedijk.xml
+++ b/helm/mowgli/home/xml/people/nijmegen/wiedijk.xml
@@ -7,6 +7,6 @@
  <surname>Widijk</surname>
  <qualification>Dr.</qualification>
  <position>Post Doc Researcher, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>freek@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~freek</url>
 </person>
diff --git a/helm/mowgli/home/xml/sites/inria.xml b/helm/mowgli/home/xml/sites/inria.xml
index 28659d4f9..ac3f5c23e 100644
--- a/helm/mowgli/home/xml/sites/inria.xml
+++ b/helm/mowgli/home/xml/sites/inria.xml
@@ -62,7 +62,7 @@
  </description>
  <project>
   <name>Lemme</name>
-  <url>???</url>
+  <url>http://www-sop.inria.fr/lemme</url>
   <member file="inria/rideau"/>
   <member file="inria/naciri"/>
   <member file="inria/pottier"/>