]> matita.cs.unibo.it Git - helm.git/blob - helm/software/lambda-delta/xml/ld-html-entry.xsl
xml: first ld to xml stylesheets
[helm.git] / helm / software / lambda-delta / xml / ld-html-entry.xsl
1 <?xml version="1.0" encoding="UTF-8"?>
2
3 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
4
5 <xsl:strip-space elements="ABST ABBR VOID"/>
6
7 <xsl:template match="ABST">
8    <h2>
9       <xsl:text>Declaration:</xsl:text>
10       <xsl:call-template name="entry"/>
11    </h2>
12    <div><xsl:apply-templates/></div>
13 </xsl:template>
14
15 <xsl:template match="ABBR">
16    <h2>
17       <xsl:text>Definition:</xsl:text>
18       <xsl:call-template name="entry"/>
19    </h2>
20    <div><xsl:apply-templates/></div>
21 </xsl:template>
22
23 <xsl:template match="VOID">
24    <h2>
25       <xsl:text>Exclusion:</xsl:text>
26       <xsl:call-template name="entry"/>
27    </h2>
28    <div><xsl:apply-templates/></div>
29 </xsl:template>
30
31 </xsl:stylesheet>