X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Flddl_term.xsl;h=dd5a45083468f0a9e3e00f82c0a8dcb0c41deb9e;hb=89fc31fc5cc01e8860cf67a8e096c24125370d31;hp=01ccff3bb9fbab80d211f252f4fae0df9eee6e56;hpb=a255d83ebcb9b700a6f30cbcd109d223fc0d98cb;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/lddl_term.xsl b/helm/www/lambdadelta/xslt/lddl_term.xsl
index 01ccff3bb..dd5a45083 100644
--- a/helm/www/lambdadelta/xslt/lddl_term.xsl
+++ b/helm/www/lambdadelta/xslt/lddl_term.xsl
@@ -13,84 +13,86 @@
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                               xmlns:ld="http://lambdadelta.info/"
-                              xmlns="http://www.w3.org/1999/xhtml"
+                              xmlns:xhtml="http://www.w3.org/1999/xhtml"
 >
 
-<xsl:strip-space elements="Sort LRef GRef Cast Appl Abst Abbr Void"/>
-
-<xsl:template name="separator">
-   <span class="separator">
-      <xsl:call-template name="fs"/>
-   </span>
-</xsl:template>
-
 <xsl:template match="ld:Sort">
-   <span class="sort">
-      <xsl:call-template name="position"/>
-   </span>
+   <xhtml:span class="sort" title="{@position}">
+      <xsl:value-of select="@name"/>
+   </xhtml:span>
 </xsl:template>
 
 <xsl:template match="ld:LRef">
-   <span class="lref">
-      <xsl:call-template name="position"/>
-   </span>
+   <xhtml:span class="lref" title="{@position}">
+      <xsl:value-of select="@name"/>
+   </xhtml:span>
 </xsl:template>
 
 <xsl:template match="ld:GRef">
-   <span class="gref">
+   <xhtml:span class="gref" title="{@position}&lt;{@uri}&gt;">
       <xsl:call-template name="uri"/>
-   </span>
+   </xhtml:span>
 </xsl:template>
 
 <xsl:template match="ld:Cast">
-   <span class="cast">
+   <xhtml:span class="cast">
       <xsl:call-template name="oa"/>
-      <xsl:apply-templates/>
+      <xsl:apply-templates select="*"/>
       <xsl:call-template name="ca"/>
-   </span>
+   </xhtml:span>
    <xsl:call-template name="separator"/>
 </xsl:template>
 
 <xsl:template match="ld:Appl">
-   <span class="appl">
+   <xhtml:span class="appl">
       <xsl:call-template name="op"/>
-      <xsl:call-template name="mk_terms"/>
+      <xsl:apply-templates select="*"/>
+<!--      <xsl:call-template name="mk_terms"/> -->
       <xsl:call-template name="cp"/>
-   </span>
+   </xhtml:span>
+   <xsl:call-template name="separator"/>
+</xsl:template>
+
+<xsl:template match="ld:Proj">
+   <xhtml:span class="proj">
+      <xsl:call-template name="oc"/>
+      <xsl:apply-templates select="*"/>
+      <xsl:call-template name="cc"/>
+   </xhtml:span>
    <xsl:call-template name="separator"/>
 </xsl:template>
 
 <xsl:template match="ld:Abst">
-   <span class="local">
-      <xsl:call-template name="lambda"/>
-      <xsl:call-template name="mk_binder">
-         <xsl:with-param name="sep-seq">
-            <xsl:call-template name="cn"/>
-         </xsl:with-param>
-      </xsl:call-template>
-   </span>
+   <xhtml:span class="local" title="{@position}">
+      <xsl:call-template name="abst"/>
+      <xsl:call-template name="ob"/>
+      <xsl:call-template name="name"/>
+      <xsl:call-template name="cn"/>
+      <xsl:apply-templates select="*"/>
+      <xsl:call-template name="cb"/>
+   </xhtml:span>
    <xsl:call-template name="separator"/>
 </xsl:template>
 
 <xsl:template match="ld:Abbr">
-   <span class="local">
-      <xsl:call-template name="delta"/>
-      <xsl:call-template name="mk_binder">
-         <xsl:with-param name="sep-seq">
-            <xsl:call-template name="eq"/>
-         </xsl:with-param>
-      </xsl:call-template>
-   </span>
+   <xhtml:span class="local">
+      <xsl:call-template name="abbr"/>
+      <xsl:call-template name="ob"/>
+      <xsl:call-template name="name"/>
+      <xsl:call-template name="eq"/>
+      <xsl:apply-templates select="*"/>
+      <xsl:call-template name="cb"/>
+   </xhtml:span>
    <xsl:call-template name="separator"/>
 </xsl:template>
 
 <xsl:template match="ld:Void">
-   <span class="local">
-      <xsl:call-template name="chi"/>
+   <xhtml:span class="local">
+      <xsl:call-template name="void"/>
       <xsl:call-template name="ob"/>
-      <xsl:call-template name="mk_names"/>
+      <xsl:call-template name="name"/>
       <xsl:call-template name="cb"/>
-   </span>
+   </xhtml:span>
    <xsl:call-template name="separator"/>
 </xsl:template>