1 <?xml version="1.0" encoding="UTF-8"?>
4 ||M|| This file is part of HELM, an Hypertextual, Electronic
5 ||A|| Library of Mathematics, developed at the Computer Science
6 ||T|| Department, University of Bologna, Italy.
8 ||T|| HELM is free software; you can redistribute it and/or
9 ||A|| modify it under the terms of the GNU General Public License
10 \ / version 2 or (at your option) any later version.
11 \ / This software is distributed as is, NO WARRANTY.
12 V_______________________________________________________________ -->
14 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
15 xmlns:ld="http://lambdadelta.info/"
16 xmlns:xhtml="http://www.w3.org/1999/xhtml"
19 <xsl:template match="ld:Sort">
20 <xhtml:span class="sort" title="{@position}">
21 <xsl:value-of select="@name"/>
25 <xsl:template match="ld:LRef">
26 <xhtml:span class="lref" title="{@position}">
27 <xsl:value-of select="@name"/>
31 <xsl:template match="ld:GRef">
32 <xhtml:span class="gref" title="{@position}<{@uri}>">
33 <xsl:call-template name="uri"/>
37 <xsl:template match="ld:Cast">
38 <xhtml:span class="cast">
39 <xsl:call-template name="oa"/>
40 <xsl:apply-templates select="*"/>
41 <xsl:call-template name="ca"/>
43 <xsl:call-template name="separator"/>
46 <xsl:template match="ld:Appl">
47 <xhtml:span class="appl">
48 <xsl:call-template name="op"/>
49 <xsl:apply-templates select="*"/>
50 <!-- <xsl:call-template name="mk_terms"/> -->
51 <xsl:call-template name="cp"/>
53 <xsl:call-template name="separator"/>
56 <xsl:template match="ld:Proj">
57 <xhtml:span class="proj">
58 <xsl:call-template name="oc"/>
59 <xsl:apply-templates select="*"/>
60 <xsl:call-template name="cc"/>
62 <xsl:call-template name="separator"/>
65 <xsl:template match="ld:Abst">
66 <xhtml:span class="local" title="{@position}">
67 <xsl:call-template name="abst"/>
68 <xsl:call-template name="ob"/>
69 <xsl:call-template name="name"/>
70 <xsl:call-template name="cn"/>
71 <xsl:apply-templates select="*"/>
72 <xsl:call-template name="cb"/>
74 <xsl:call-template name="separator"/>
77 <xsl:template match="ld:Abbr">
78 <xhtml:span class="local">
79 <xsl:call-template name="abbr"/>
80 <xsl:call-template name="ob"/>
81 <xsl:call-template name="name"/>
82 <xsl:call-template name="eq"/>
83 <xsl:apply-templates select="*"/>
84 <xsl:call-template name="cb"/>
86 <xsl:call-template name="separator"/>
89 <xsl:template match="ld:Void">
90 <xhtml:span class="local">
91 <xsl:call-template name="void"/>
92 <xsl:call-template name="ob"/>
93 <xsl:call-template name="name"/>
94 <xsl:call-template name="cb"/>
96 <xsl:call-template name="separator"/>