]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/dfki/libbrecht.xml
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / mowgli / home / xml / people / dfki / libbrecht.xml
diff --git a/helm/mowgli/home/xml/people/dfki/libbrecht.xml b/helm/mowgli/home/xml/people/dfki/libbrecht.xml
deleted file mode 100644 (file)
index ab886a0..0000000
+++ /dev/null
@@ -1,15 +0,0 @@
-<?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</fax>
-</person>