This commit was manufactured by cvs2svn to create branch 'init'.

[helm.git] / helm / mowgli / home / xml / sites / bologna.xml

diff --git a/helm/mowgli/home/xml/sites/bologna.xml b/helm/mowgli/home/xml/sites/bologna.xml
deleted file mode 100644 (file)
index 99949fb..0000000
--- a/helm/mowgli/home/xml/sites/bologna.xml
+++ /dev/null
@@ -1,51 +0,0 @@
-<?xml version="1.0"?>
-
-<!DOCTYPE site SYSTEM "site.dtd">
-
-<site>
- <name>University of Bologna (Italy), Department of Computer Science</name>
- <country>Italy</country>
- <url>http://www.cs.unibo.it</url>
- <address>Via di mura Anteo Zamboni VII, 40127, Bologna, ITALY</address>
- <responsible file="bologna/asperti"/>
- <description>
-  <p>The Department of Computer Science of Bologna is the
-     only educational institution in Italy to be affiliated
-     to the World Wide Web Consortium (and one of the few
-     members of this category in Europe). This affiliation
-     testifies the interest, both technical and didactic,
-     traditionally devoted by our Department to Web technologies,
-     Internet and, more generally, distributed computing.
-     This is joined to a solid expertise in programming
-     languages, algorithms, theory and formal methods,
-     that provides a very stimulating and dialectical environment
-     for research.
-     The Department is in charge of an undergraduate
-     Program in Computer Science, with more than three hundreds new
-     students a year, and a graduate Ph.D. Program, currently
-     comprising sixteen students.</p>
- </description>
- <project>
-  <name>Hypertextual Library of Mathematics</name>
-  <acronym>HELM</acronym>
-  <url>http://www.cs.unibo.it/helm</url>
-  <member file="bologna/asperti"/>
-  <member file="bologna/padovani"/>
-  <member file="bologna/schena"/>
-  <member file="bologna/guidi"/>
-  <member file="bologna/sacerdoti"/>
-  <description>
-   <p>The <em>Hypertextual Electronic Library of Mathematics</em> Project
-    is active in Bologna since 1999. Its aim is the development of a suitable
-    technology for the creation and maintenance of a virtual, distributed,
-    hypertextual library of formal mathematical knowledge. As a subsidiary
-    goal, HELM is meant to integrate the current tools for the automation of
-    formal reasoning and the mechanisation of mathematics (proof assistants
-    and logical frameworks) with the most recent technologies for the
-    development of Web applications and electronic publishing, taking
-    advantage of the potentiality offered by XML Technologies.
-    The Project is developed in tight cooperation with the W3C
-    MathML Working Group, which we are a member of.</p>
-  </description>
- </project>
-</site>