]> matita.cs.unibo.it Git - helm.git/blob - helm/software/lambda-delta/xml/ld-html-entity.xsl
689eb14207b9cd1a15f508ac6fdb2f166fb0d28b
[helm.git] / helm / software / lambda-delta / xml / ld-html-entity.xsl
1 <?xml version="1.0" encoding="UTF-8"?>
2
3 <!--
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.                     
7     ||I||                                                                
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_______________________________________________________________ -->
13
14 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
15                               xmlns="http://www.w3.org/1999/xhtml"
16 >
17
18 <xsl:strip-space elements="ABST ABBR"/>
19
20 <xsl:template match="ABST">
21    <h2>
22       <span class="global">
23          <xsl:text>Declaration:</xsl:text>
24          <xsl:call-template name="entity"/>
25       </span>      
26    </h2>
27    <xsl:call-template name="META"/>
28    <div><xsl:apply-templates/></div>
29 </xsl:template>
30
31 <xsl:template match="ABBR">
32    <h2>
33       <span class="global">
34          <xsl:text>Definition:</xsl:text>
35          <xsl:call-template name="entity"/>
36       </span>
37    </h2>
38    <xsl:call-template name="META"/>
39    <div><xsl:apply-templates/></div>
40 </xsl:template>
41
42 </xsl:stylesheet>