<?xml version="1.0"?>
+<!DOCTYPE work-package SYSTEM "work-package.dtd">
+
<work-package number="4">
<name>Interfaces</name>
<begin>Month 3</begin>
</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>