helm/www/lambdadelta/xslt/lddl_constant.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:ld="http://lambdadelta.info/"
  16                               xmlns="http://lambdadelta.info/"
  17 >
  18
  19 <xsl:template name="CONSTANT">
  20    <xsl:param name="kind"/>
  21    <section5 name="constant">Constant</section5>
  22    <subsection name="{$kind}">
  23       <xsl:value-of select="$kind"/>
  24       <xsl:call-template name="cn"/>
  25       <xsl:call-template name="sp"/>
  26       <xsl:call-template name="global"/>
  27       <xsl:call-template name="sp"/>
  28       <xsl:call-template name="op"/>
  29       <xsl:call-template name="mk_path"/>
  30       <xsl:call-template name="cp"/>
  31    </subsection>
  32    <body>
  33       <xsl:call-template name="idescr"/>
  34       <xsl:call-template name="qt"/>
  35       <xsl:value-of select="@meta"/>
  36       <xsl:call-template name="qt"/>
  37    </body>
  38    <body>
  39       <xsl:apply-templates select="*"/>
  40    </body>
  41 </xsl:template>
  42
  43 <xsl:template match="ld:GDec">
  44    <xsl:call-template name="CONSTANT">
  45       <xsl:with-param name="kind">Declaration</xsl:with-param>
  46    </xsl:call-template>
  47 </xsl:template>
  48
  49 <xsl:template match="ld:GDef">
  50    <xsl:call-template name="CONSTANT">
  51       <xsl:with-param name="kind">Definition</xsl:with-param>
  52    </xsl:call-template>
  53 </xsl:template>
  54
  55 </xsl:stylesheet>