Work-packages DTD improved (tasks now have an identifier and a name).

[helm.git] / helm / mowgli / home / xml / work-packages / interfaces.xml

diff --git a/helm/mowgli/home/xml/work-packages/interfaces.xml b/helm/mowgli/home/xml/work-packages/interfaces.xml
index f0aba5709e9c21fc09b00c71ace9918ba72ae950..42a14a2b3cdd315577269082474001d18acc3729 100644 (file)
--- a/helm/mowgli/home/xml/work-packages/interfaces.xml
+++ b/helm/mowgli/home/xml/work-packages/interfaces.xml
@@ -26,28 +26,31 @@
  <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>