From 6a54db93e8f11320261a2fca0ad00c7caea85f32 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 11 Mar 2002 15:36:15 +0000
Subject: [PATCH] Paul Libbrecht added.

---
 helm/mowgli/home/html/Makefile                 |  1 +
 helm/mowgli/home/html/people/dfki/.cvsignore   |  1 +
 helm/mowgli/home/xml/people/dfki/libbrecht.xml | 15 +++++++++++++++
 helm/mowgli/home/xml/people/index.xml          |  1 +
 4 files changed, 18 insertions(+)
 create mode 100644 helm/mowgli/home/xml/people/dfki/libbrecht.xml

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index a0d616b57..dbd698a31 100644
--- 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 30953d6d0..22d4c7271 100644
--- 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
index 000000000..f21d9aff0
--- /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 1aad63c57..ad5946cf8 100644
--- 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"/>
-- 
2.39.2