X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fobjcontent.xsl;h=ceb7a22bacea1b6818a37540ac0ad87c09534d01;hb=f15a13bab100064a4da238cede323b8d4568c174;hp=5b375084b970625caa0438663a7dc1040d1982ba;hpb=ddce32beebecf9d965e6ad991a08368f52cd9ea1;p=helm.git

diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl
index 5b375084b..ceb7a22ba 100644
--- a/helm/style/objcontent.xsl
+++ b/helm/style/objcontent.xsl
@@ -61,6 +61,9 @@
        <xsl:attribute name="name">
         <xsl:value-of select="@name"/>
        </xsl:attribute>
+       <xsl:attribute name="helm:xref">
+        <xsl:value-of select="@id"/>
+       </xsl:attribute>
        <xsl:apply-templates select="*[1]"/>
       </xsl:copy>
      </xsl:for-each>
@@ -114,10 +117,13 @@
 <xsl:template match="CurrentProof" mode="noannot">
     <CurrentProof name="{@name}" helm:xref="{@id}">
      <xsl:for-each select="Conjecture">
-      <Conjecture no="{@no}">
+      <Conjecture no="{@no}" helm:xref="{@id}">
         <xsl:for-each select="*">
          <xsl:copy>
-          <xsl:copy-of select="@*"/>
+          <xsl:copy-of select="@name"/>
+          <xsl:attribute name="helm:xref">
+           <xsl:value-of select="@id"/>
+          </xsl:attribute>
           <xsl:apply-templates select="*"/>
          </xsl:copy>
         </xsl:for-each>