]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xsl/work-package.xsl
Work-packages DTD improved (tasks now have an identifier and a name).
[helm.git] / helm / mowgli / home / xsl / work-package.xsl
index 7dd7e93f92cf0dd3bab19b6bf5805de34714c410..0e4eb84e3f214d2d30d1c3d09e4c8985293fcc8c 100644 (file)
@@ -68,7 +68,7 @@
   </xsl:for-each>
  </ul>
  <h2>Milestones and Expected Results:</h2>
- <xsl:copy-of select="milestone/*"/>
+ <xsl:copy-of select="milestones/*"/>
 </xsl:template>
 
 <xsl:template match="tasks">
 </xsl:template>
 
 <xsl:template match="task">
- <dt><xsl:value-of select="@name"/></dt>
+ <dt>
+  <a name="{@id}"/>
+  <xsl:value-of select="@id"/>
+  <xsl:text> </xsl:text>
+  <xsl:value-of select="name"/>
+ </dt>
  <dd>
   <xsl:copy-of select="*"/>
  </dd>