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

diff --git a/helm/www/lambdadelta/xslt/lddl_term.xsl b/helm/www/lambdadelta/xslt/lddl_term.xsl
index d2cb461a3..dd5a45083 100644
--- a/helm/www/lambdadelta/xslt/lddl_term.xsl
+++ b/helm/www/lambdadelta/xslt/lddl_term.xsl
@@ -12,85 +12,87 @@
       V_______________________________________________________________ -->
 
 <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:ld="http://lambdadelta.info/"
+                              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>