Goguadze added.

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index dbd698a31190b540f03267aeabfe3f4beaaedbf3..0c7f2a677e6db319e2f7ecd1cddea47198225afa 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/goguadze.html \
                people/dfki/libbrecht.html \
                people/inria/amerkad.html \
                people/inria/bertot.html \

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

diff --git a/helm/mowgli/home/xml/people/dfki/goguadze.xml b/helm/mowgli/home/xml/people/dfki/goguadze.xml
new file mode 100644 (file)
index 0000000..f10bba8
--- /dev/null
+++ b/helm/mowgli/home/xml/people/dfki/goguadze.xml
@@ -0,0 +1,19 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>George</name>
+ <surname>Goguadze</surname>
+ <position>Ph.D. Student</position>
+ <e-mail>george@activemath.org</e-mail>
+ <url>http://www.activemath.org/~george/</url>
+ <address>
+  Faculty of Computer Science,
+  University of Saarland,
+  Im.Stadwald 36.1
+  66123, Saarbruecken,
+  Germany
+ </address>
+ <telephone>+-49 (681) 302</telephone>
+</person>

diff --git a/helm/mowgli/home/xml/people/index.xml b/helm/mowgli/home/xml/people/index.xml
index ad5946cf85d8bd9f1b739f8521ffcd90c80fc8a9..9348d5bf0194799024192c6bf240f7a08d0dd2f5 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="goguadze"/>
   <person file="libbrecht"/>
  </from>
  <from site="nijmegen">

diff --git a/helm/mowgli/home/xml/sites/dfki.xml b/helm/mowgli/home/xml/sites/dfki.xml
index d5ec29ab0a14ed93fc71785941413bf1c393e40f..9ec343a99112576441d4b9c08ac787b8a3a33153 100644 (file)
--- a/helm/mowgli/home/xml/sites/dfki.xml
+++ b/helm/mowgli/home/xml/sites/dfki.xml
@@ -63,5 +63,6 @@
  <member file="dfki/kohlhase"/>
  <member file="dfki/melis"/>
  <member file="dfki/moschner"/>
+ <member file="dfki/goguadze"/>
  <member file="dfki/libbrecht"/>
 </site>