]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/xml/ld-html-library.xsl
- lddl html pages: the transition to xhtml 1.1 + css 2 is complete
[helm.git] / helm / software / lambda-delta / xml / ld-html-library.xsl
index 5cb16515b28c7853de3c40259da974bd81a9fcf8..c7914ed643cda0a9e31b6e408a2757892a5f6aa2 100644 (file)
    <xsl:text>=</xsl:text>
 </xsl:template>
 
+<xsl:template name="qt">
+   <xsl:text>"</xsl:text>
+</xsl:template>
+
+<xsl:template name="idescr">
+   <xsl:text>Informal description: </xsl:text>
+</xsl:template>
+
+<xsl:template name="vpars">
+   <xsl:text>Validation parameters: </xsl:text>
+</xsl:template>
+
+<xsl:template name="shier">
+   <xsl:text>sort hierarchy = </xsl:text>
+</xsl:template>
+
+<xsl:template name="kopts">
+   <xsl:text>kernel options = </xsl:text>
+</xsl:template>
+
 <xsl:template name="multiple">
    <span class="separator">
       <xsl:call-template name="cm"/>
    </xsl:choose>
 </xsl:template>
 
-<xsl:template name="entity">
-   <xsl:call-template name="sp"/>
-   <span class="gref">   
-      <xsl:call-template name="global"/>
-   </span>
-   <xsl:call-template name="sp"/>
-   <xsl:call-template name="op"/>
-   <span class="gref">
-      <xsl:call-template name="mk_path"/>
-   </span>
-   <xsl:call-template name="cp"/>
-</xsl:template>
-
-<xsl:template name="META">
-   <div>Informal description: "<xsl:value-of select="@meta"/>"</div><br/>
-</xsl:template>
-
-<xsl:template name="ld">
-   <xsl:text disable-output-escaping="yes">&amp;lambda;&amp;delta;</xsl:text>
+<xsl:template name="lddl">
+   <xsl:text disable-output-escaping="yes">&amp;lambda;&amp;delta; Digital Library (LDDL)</xsl:text>
 </xsl:template>
 
 </xsl:stylesheet>