X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html-library.xsl;fp=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html-library.xsl;h=c7914ed643cda0a9e31b6e408a2757892a5f6aa2;hb=c7ffbfc25d1de732804e3f1384cbb2a61305bb30;hp=5cb16515b28c7853de3c40259da974bd81a9fcf8;hpb=66685cf7c01806a0b5f7ed80ecee3d5cd5cff90d;p=helm.git

diff --git a/helm/software/lambda-delta/xml/ld-html-library.xsl b/helm/software/lambda-delta/xml/ld-html-library.xsl
index 5cb16515b..c7914ed64 100644
--- a/helm/software/lambda-delta/xml/ld-html-library.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-library.xsl
@@ -67,6 +67,26 @@
    <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"/>
@@ -256,25 +276,8 @@
    </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>