From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 11 Mar 2002 18:02:34 +0000 (+0000)
Subject: Goguadze added.
X-Git-Tag: V_0_3_0_debian_8~221
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e3c35f1c150ae9ccc0b63adda480aa6499c63f9c;p=helm.git

Goguadze added.
---

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index dbd698a31..0c7f2a677 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/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 22d4c7271..05d2b68e9 100644
--- 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
index 000000000..f10bba8bd
--- /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 ad5946cf8..9348d5bf0 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="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 d5ec29ab0..9ec343a99 100644
--- 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>