From: Claudio Sacerdoti Coen 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 @@ + + + + + + George + Goguadze + Ph.D. Student + george@activemath.org + http://www.activemath.org/~george/ +
+ Faculty of Computer Science, + University of Saarland, + Im.Stadwald 36.1 + 66123, Saarbruecken, + Germany +
+ +-49 (681) 302 +
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 @@ + 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 @@ +