]> matita.cs.unibo.it Git - helm.git/blob - helm/software/lambda-delta/xml/ld-html-library.xsl
xml: first ld to xml stylesheets
[helm.git] / helm / software / lambda-delta / xml / ld-html-library.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:template name="sp">
6    <xsl:text> </xsl:text>
7 </xsl:template>
8
9 <xsl:template name="fs">
10    <xsl:text>.</xsl:text>
11 </xsl:template>
12
13 <xsl:template name="op">
14    <xsl:text>(</xsl:text>
15 </xsl:template>
16
17 <xsl:template name="cp">
18    <xsl:text>)</xsl:text>
19 </xsl:template>
20
21 <xsl:template name="oa">
22    <xsl:text>&lt;</xsl:text>
23 </xsl:template>
24
25 <xsl:template name="ca">
26    <xsl:text>&gt;</xsl:text>
27 </xsl:template>
28
29 <xsl:template name="cn">
30    <xsl:text>:</xsl:text>
31 </xsl:template>
32
33 <xsl:template name="eq">
34    <xsl:text>=</xsl:text>
35 </xsl:template>
36
37 <xsl:template name="lambda">
38    <xsl:text disable-output-escaping="yes">&amp;lambda;</xsl:text>
39 </xsl:template>
40
41 <xsl:template name="delta">
42    <xsl:text disable-output-escaping="yes">&amp;delta;</xsl:text>
43 </xsl:template>
44
45 <xsl:template name="chi">
46    <xsl:text disable-output-escaping="yes">&amp;chi;</xsl:text>
47 </xsl:template>
48
49 <xsl:template name="position">
50    <a name="" title="{@position}">
51       <xsl:value-of select="@name"/>
52    </a>
53 </xsl:template>
54
55 <xsl:template name="uri">
56    <xsl:variable name="url">
57       <xsl:value-of select="$baseurl"/>
58       <xsl:value-of select="substring-after(@uri,'ld:')"/>
59       <xsl:text>.html</xsl:text>
60    </xsl:variable>
61    <a href="{$url}"><xsl:value-of select="@name"/></a>
62 </xsl:template>
63
64 <xsl:template name="binder">
65    <xsl:value-of select="@name"/>
66 </xsl:template>
67
68 <xsl:template name="entry">
69    <xsl:call-template name="sp"/>
70    <xsl:call-template name="uri"/>
71    <xsl:call-template name="sp"/>
72    <xsl:call-template name="op"/>
73    <xsl:value-of select="@uri"/>
74    <xsl:call-template name="cp"/>
75 </xsl:template>
76
77 </xsl:stylesheet>