]> matita.cs.unibo.it Git - helm.git/blob - helm/software/lambda-delta/xml/ld-html-entity.xsl
Additional contribs.
[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
16 <xsl:strip-space elements="ABST ABBR"/>
17
18 <xsl:template match="ABST">
19    <h2>
20       <xsl:text>Declaration:</xsl:text>
21       <xsl:call-template name="entity"/>
22    </h2>
23    <div><xsl:apply-templates/></div>
24 </xsl:template>
25
26 <xsl:template match="ABBR">
27    <h2>
28       <xsl:text>Definition:</xsl:text>
29       <xsl:call-template name="entity"/>
30    </h2>
31    <div><xsl:apply-templates/></div>
32 </xsl:template>
33
34 </xsl:stylesheet>