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=f0aba5709e9c21fc09b00c71ace9918ba72ae950;hb=2ba3d3b802bfa9ca330f1dc2e54653b3bcceba65;hp=66acef64b4107ca31df068c4fdc383a815085de2;hpb=c4f3f237e762733eec0446b5b0c99c046336c893;p=helm.git

diff --git a/helm/mowgli/home/xml/work-packages/interfaces.xml b/helm/mowgli/home/xml/work-packages/interfaces.xml
index 66acef64b..f0aba5709 100644
--- a/helm/mowgli/home/xml/work-packages/interfaces.xml
+++ b/helm/mowgli/home/xml/work-packages/interfaces.xml
@@ -1,5 +1,7 @@
 <?xml version="1.0"?>
 
+<!DOCTYPE work-package SYSTEM "work-package.dtd">
+
 <work-package number="4">
  <name>Interfaces</name>
  <begin>Month 3</begin>
@@ -23,40 +25,41 @@
  </objectives>
  <description>
   <p>The work is organised in the following tasks:</p>
-  <dl>
-   <dt>T4.1</dt>
-   <dd>MathML rendering/browsing engines. Our privileged
+  <tasks>
+   <task name="T4.1">
+    <p>MathML rendering/browsing engines. 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).</dd>
-
-   <dt>T4.2</dt>
-   <dd>Consultation Engine (archiving, searching and retrieving).
+       prototype).</p>
+   </task>
+   <task name="T4.2">
+    <p>Consultation Engine (archiving, searching and retrieving).
        The task is devoted to the architectural design and
        implementation of the main functionalities for the
-       consultation and the management of the library.</dd>
-
-   <dt>T4.3</dt>
-   <dd>Assisted Annotation. This cover an additional
+       consultation and the management of the library.</p>
+   </task>
+   <task name="T4.3">
+    <p>Assisted Annotation. This cover an additional
        functionality of the interface, aimed to support the user
        in the process of annotating a proof in natural
-       language.</dd>
-
-   <dt>T4.4</dt>
-   <dd>LaTeX-based authoring tool. A tool supporting automatic
+       language.</p>
+   </task>
+   <task name="T4.4">
+    <p>LaTeX-based authoring tool. A tool supporting automatic
        generation of Content-MathML from a suitably
-       (macro-)enriched version of LaTeX.</dd>
-  </dl>
+       (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"/>
- <milestone>
+ <milestones>
   <p>The main milestone is the release of the first MOWGLI
      prototype, at month 18.</p>
- </milestone>
+ </milestones>
 </work-package>