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

diff --git a/helm/mowgli/home/xml/work-packages/interfaces.xml b/helm/mowgli/home/xml/work-packages/interfaces.xml
index f0aba5709..b8ca886fd 100644
--- a/helm/mowgli/home/xml/work-packages/interfaces.xml
+++ b/helm/mowgli/home/xml/work-packages/interfaces.xml
@@ -6,6 +6,7 @@
  <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"/>
@@ -26,38 +27,41 @@
  <description>
   <p>The work is organised in the following tasks:</p>
   <tasks>
-   <task name="T4.1">
-    <p>MathML rendering/browsing engines. Our privileged
+   <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 name="T4.2">
-    <p>Consultation Engine (archiving, searching and retrieving).
-       The task is devoted to the architectural design and
+   <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 name="T4.3">
-    <p>Assisted Annotation. This cover an additional
+   <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 name="T4.4">
-    <p>LaTeX-based authoring tool. A tool supporting automatic
+   <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="D4.a"/>
- <deliverable file="D4.b"/>
- <deliverable file="D4.c"/>
- <deliverable file="D4.d"/>
- <deliverable file="D4.e"/>
+ <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>