X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Finterfaces.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Finterfaces.xml;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=b8ca886fd2f313a58c360141030c3ba4511771f8;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/mowgli/home/xml/work-packages/interfaces.xml b/helm/mowgli/home/xml/work-packages/interfaces.xml
deleted file mode 100644
index b8ca886fd..000000000
--- a/helm/mowgli/home/xml/work-packages/interfaces.xml
+++ /dev/null
@@ -1,69 +0,0 @@
-<?xml version="1.0"?>
-
-<!DOCTYPE work-package SYSTEM "work-package.dtd">
-
-<work-package number="4">
- <name>Interfaces</name>
- <begin>Month 3</begin>
- <end>Month 24</end>
- <leader file="inria/pottier"/>
- <person-month participant="bologna" number="16"/>
- <person-month participant="inria" number="16"/>
- <person-month participant="dfki" number="5"/>
- <person-month participant="nijmegen" number="4"/>
- <person-month participant="aei" number="14"/>
- <person-month participant="trusted-logic" number="0"/>
- <objectives>
-  <p>This Work-Package is devoted to the design and the
-     implementation of the interfaces to the library, covering
-     rendering, browsing, searching and retrieving
-     functionalities. Some additional functionalities for
-     authoring purposes (such as computer assisted annotation of
-     proofs) will be also taken into account.</p>
-  <p>Our privileged rendering language will be MathML, which is
-     likely to be rapidly adopted as the main language for
-     representing mathematical notation on the Web.</p>
- </objectives>
- <description>
-  <p>The work is organised in the following tasks:</p>
-  <tasks>
-   <task id="T4.1">
-    <name>MathML rendering/browsing engines.</name>
-    <p>Our privileged
-       rendering language will be MathML. In order to be able to
-       test the presentational stylesheets,(Task 2.5) we need a
-       MathML compliant browser, that will be developed as a
-       part of the project (starting from a previous
-       prototype).</p>
-   </task>
-   <task id="T4.2">
-    <name>Consultation Engine (archiving, searching and retrieving).</name>
-    <p>The task is devoted to the architectural design and
-       implementation of the main functionalities for the
-       consultation and the management of the library.</p>
-   </task>
-   <task id="T4.3">
-    <name>Assisted Annotation.</name>
-    <p>This cover an additional
-       functionality of the interface, aimed to support the user
-       in the process of annotating a proof in natural
-       language.</p>
-   </task>
-   <task id="T4.4">
-    <name>LaTeX-based authoring tool.</name>
-    <p>A tool supporting automatic
-       generation of Content-MathML from a suitably
-       (macro-)enriched version of LaTeX.</p>
-   </task>
-  </tasks>
- </description>
- <deliverable file="interfaces/d4a"/>
- <deliverable file="interfaces/d4b"/>
- <deliverable file="interfaces/d4c"/>
- <deliverable file="interfaces/d4d"/>
- <deliverable file="interfaces/d4e"/>
- <milestones>
-  <p>The main milestone is the release of the first MOWGLI
-     prototype, at month 18.</p>
- </milestones>
-</work-package>