]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/xslt/lddl_root.xsl
- first results on cpx (dericed from those on cpg)
[helm.git] / helm / www / lambdadelta / xslt / lddl_root.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 match="/">
20    <page description = "\lambda\delta home page"
21          title = "\lambda\delta home page"
22          head = "λδ digital library (LDDL)"
23    >
24       <sitemap name="sitemap"/>
25       <xsl:apply-templates select="*"/>
26       <footer><helena-label/></footer>         
27    </page>
28 </xsl:template>
29
30 <xsl:template match="ld:CONSTANT">
31    <xsl:apply-templates select="*"/>
32    <body>
33       <xsl:call-template name="vpars"/>
34       <xsl:call-template name="shier"/>
35       <xsl:call-template name="qt"/>
36       <xsl:value-of select="@hierarchy"/>
37       <xsl:call-template name="qt"/>
38       <xsl:call-template name="cm"/>
39       <xsl:call-template name="sp"/>
40       <xsl:call-template name="kopts"/>
41       <xsl:call-template name="qt"/>
42       <xsl:value-of select="@options"/>
43       <xsl:call-template name="qt"/>
44    </body>
45 </xsl:template>
46
47 <xsl:template match="@*|node()">
48    <xsl:copy>
49       <xsl:apply-templates select="@*|node()"/>
50    </xsl:copy>
51 </xsl:template>
52
53 </xsl:stylesheet>