Paul Libbrecht added.

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index a0d616b574bfe9709e2f6f87b5531d70f1d0c977..dbd698a31190b540f03267aeabfe3f4beaaedbf3 100644 (file)
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -32,6 +32,7 @@ PEOPLE = \
                people/dfki/melis.html \
                people/dfki/siekmann.html \
                people/dfki/moschner.html \
+               people/dfki/libbrecht.html \
                people/inria/amerkad.html \
                people/inria/bertot.html \
                people/inria/chicli.html \

diff --git a/helm/mowgli/home/html/people/dfki/.cvsignore b/helm/mowgli/home/html/people/dfki/.cvsignore
index 30953d6d0d7e399a7bada377bdbdf37ade73db50..22d4c72710a15a5638e5ea5d3c9c56d6468891b5 100644 (file)
--- a/helm/mowgli/home/html/people/dfki/.cvsignore
+++ b/helm/mowgli/home/html/people/dfki/.cvsignore
@@ -2,3 +2,4 @@ kohlhase.html
 melis.html 
 siekmann.html 
 moschner.html
+libbrecht.html

diff --git a/helm/mowgli/home/xml/people/dfki/libbrecht.xml b/helm/mowgli/home/xml/people/dfki/libbrecht.xml
new file mode 100644 (file)
index 0000000..f21d9af
--- /dev/null
+++ b/helm/mowgli/home/xml/people/dfki/libbrecht.xml
@@ -0,0 +1,15 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Paul</name>
+ <surname>Libbrecht</surname>
+ <position>Ph.D. Student</position>
+ <e-mail>paul@activemath.org</e-mail>
+ <url>http://www.activemath.org/~paul/</url>
+ <address>AG Siekmann, DFKI, Stuhlsatzenhausweg 3, 66123 Saarbr&#x00fc;cken,
+  Germany</address>
+ <telephone>+49 681 302 4628</telephone>
+ <fax>+49 681 302 5076</telephone>
+</person>

diff --git a/helm/mowgli/home/xml/people/index.xml b/helm/mowgli/home/xml/people/index.xml
index 1aad63c571c3ca06426584f8de8c844185a109bd..ad5946cf85d8bd9f1b739f8521ffcd90c80fc8a9 100644 (file)
--- a/helm/mowgli/home/xml/people/index.xml
+++ b/helm/mowgli/home/xml/people/index.xml
@@ -34,6 +34,7 @@
   <person file="kohlhase"/>
   <person file="melis"/>
   <person file="moschner"/>
+  <person file="libbrecht"/>
  </from>
  <from site="nijmegen">
   <person file="geuvers"/>