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="http://www.w3.org/1999/xhtml"
18 <xsl:strip-space elements="ABST ABBR"/>
20 <xsl:template name="ENTITY">
21 <xsl:param name="kind"/>
24 <xsl:value-of select="$kind"/>
25 <xsl:call-template name="cn"/>
26 <xsl:call-template name="sp"/>
28 <xsl:call-template name="global"/>
30 <xsl:call-template name="sp"/>
31 <xsl:call-template name="op"/>
33 <xsl:call-template name="mk_path"/>
35 <xsl:call-template name="cp"/>
39 <xsl:call-template name="idescr"/>
40 <xsl:call-template name="qt"/>
41 <xsl:value-of select="@meta"/>
42 <xsl:call-template name="qt"/>
45 <xsl:apply-templates/>
49 <xsl:template match="ABST">
50 <xsl:call-template name="ENTITY">
51 <xsl:with-param name="kind">Declaration</xsl:with-param>
55 <xsl:template match="ABBR">
56 <xsl:call-template name="ENTITY">
57 <xsl:with-param name="kind">Definition</xsl:with-param>