###############################################################

[helm.git] / helm / on-line / xslt / ls2theory.xsl
diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl

new file mode 100644 (file)

index 0000000..ed9c217
--- /dev/null
+++ b/helm/on-line/xslt/ls2theory.xsl
@@ -0,0 +1,45 @@
+<?xml version="1.0"?>
+
+<xsl:stylesheet version="1.0"
+  xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+  xmlns:helm="http://www.cs.unibo.it/helm"
+  xmlns="http://www.w3.org/1999/xhtml"
+>
+
+  <xsl:output method="html" encoding="iso-8859-1"/>
+
+  <xsl:param name="CICURI" select="''" />
+
+  <xsl:template match="ls">
+    <html>
+      <head>
+       <style>
+       </style>
+      </head>
+      <body>
+       <ul>
+         <xsl:apply-templates select="section" />
+         <xsl:apply-templates select="object" />
+       </ul>
+      </body>
+    </html>
+  </xsl:template>
+
+  <xsl:template match="section">
+    <li>
+      <a class="section" href="{concat($CICURI, text(), '/')}" helm:helm_link="href">
+       <xsl:value-of select="text()" />
+      </a>
+      <xsl:text>/</xsl:text>
+    </li>
+  </xsl:template>
+
+  <xsl:template match="object">
+    <li>
+      <a class="object" href="{concat($CICURI, @name)}" helm:helm_link="href">
+       <xsl:value-of select="@name" />
+      </a>
+    </li>
+  </xsl:template>
+
+</xsl:stylesheet>