]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/interfaces.xml
DTD improved (and committed) with new elements "task" and "tasks".
[helm.git] / helm / mowgli / home / xml / work-packages / interfaces.xml
index 66acef64b4107ca31df068c4fdc383a815085de2..f0aba5709e9c21fc09b00c71ace9918ba72ae950 100644 (file)
@@ -1,5 +1,7 @@
 <?xml version="1.0"?>
 
 <?xml version="1.0"?>
 
+<!DOCTYPE work-package SYSTEM "work-package.dtd">
+
 <work-package number="4">
  <name>Interfaces</name>
  <begin>Month 3</begin>
 <work-package number="4">
  <name>Interfaces</name>
  <begin>Month 3</begin>
  </objectives>
  <description>
   <p>The work is organised in the following tasks:</p>
  </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
        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
        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
        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
        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"/>
  </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>
   <p>The main milestone is the release of the first MOWGLI
      prototype, at month 18.</p>
- </milestone>
+ </milestones>
 </work-package>
 </work-package>