<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"/>
<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>