]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/xslt/ls2theory.xsl
###############################################################
[helm.git] / helm / on-line / xslt / ls2theory.xsl
1 <?xml version="1.0"?>
2
3 <xsl:stylesheet version="1.0"
4   xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
5   xmlns:helm="http://www.cs.unibo.it/helm"
6   xmlns="http://www.w3.org/1999/xhtml"
7 >
8
9   <xsl:output method="html" encoding="iso-8859-1"/>
10
11   <xsl:param name="CICURI" select="''" />
12
13   <xsl:template match="ls">
14     <html>
15       <head>
16         <style>
17         </style>
18       </head>
19       <body>
20         <ul>
21           <xsl:apply-templates select="section" />
22           <xsl:apply-templates select="object" />
23         </ul>
24       </body>
25     </html>
26   </xsl:template>
27
28   <xsl:template match="section">
29     <li>
30       <a class="section" href="{concat($CICURI, text(), '/')}" helm:helm_link="href">
31         <xsl:value-of select="text()" />
32       </a>
33       <xsl:text>/</xsl:text>
34     </li>
35   </xsl:template>
36
37   <xsl:template match="object">
38     <li>
39       <a class="object" href="{concat($CICURI, @name)}" helm:helm_link="href">
40         <xsl:value-of select="@name" />
41       </a>
42     </li>
43   </xsl:template>
44
45 </xsl:stylesheet>