Theory level DTD changed and .theory.xml files exported again.

[helm.git] / helm / style / links_library.xsl

diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl
index 7befa7bac8ec33218a8966e561e40e458e908938..a3000f3e8ef65dc0ccaa81e7e82cd7976dd45b2f 100644 (file)
--- a/helm/style/links_library.xsl
+++ b/helm/style/links_library.xsl
@@ -133,13 +133,13 @@ step for expanding objects -->
 
 <xsl:variable name="quotedthkeys">
  <xsl:call-template name="quote">
-  <xsl:with-param name="s" select="$thkeys"/>
+  <xsl:with-param name="s" select="'T1,T2,L,E'"/>
  </xsl:call-template>
 </xsl:variable>
 
-<xsl:variable name="quotedquotedthkeys">
+<xsl:variable name="quotedekeys">
  <xsl:call-template name="quote">
-  <xsl:with-param name="s" select="$quotedkeys"/>
+  <xsl:with-param name="s" select="$thkeys"/>
  </xsl:call-template>
 </xsl:variable>
 
@@ -149,9 +149,22 @@ step for expanding objects -->
  </xsl:call-template>
 </xsl:variable>
 
+<xsl:variable name="quotedquotedkeys">
+ <xsl:call-template name="quote">
+  <xsl:with-param name="s" select="$quotedkeys"/>
+ </xsl:call-template>
+</xsl:variable>
+
+<xsl:variable name="quotedquotedthkeys">
+ <xsl:call-template name="quote">
+  <xsl:with-param name="s" select="$quotedthkeys"/>
+ </xsl:call-template>
+</xsl:variable>
+
 <xsl:variable name="header0"><xsl:value-of select="$interfaceURL"/>?url=</xsl:variable>
 <xsl:variable name="header1"><xsl:value-of select="$escaped-processorURL"/>apply?keys=</xsl:variable>
 <xsl:variable name="header2">&#x26;param.naturalLanguage=<xsl:value-of select="$naturalLanguage"/>&#x26;param.annotations=<xsl:value-of select="$annotations"/>&#x26;prop.media-type=<xsl:value-of select="$media-type"/>&#x26;param.media-type=<xsl:value-of select="$media-type"/>&#x26;prop.doctype-public=<xsl:value-of select="$escaped-doctype-public"/>&#x26;param.doctype-public=<xsl:value-of select="$escaped-doctype-public"/>&#x26;prop.encoding=<xsl:value-of select="$encoding"/>&#x26;param.encoding=<xsl:value-of select="$encoding"/>&#x26;param.keys=<xsl:value-of select="$quotedkeys"/>&#x26;param.getterURL=<xsl:value-of select="$escaped-getterURL"/>&#x26;param.processorURL=<xsl:value-of select="$escaped-processorURL"/>&#x26;param.interfaceURL=<xsl:value-of select="$escaped-interfaceURL"/>&#x26;xmluri=<xsl:value-of select="$absPath"/></xsl:variable>
+<xsl:variable name="header3">&#x26;param.thkeys=<xsl:value-of select="$quotedekeys"/></xsl:variable>
 
 <xsl:variable name="quotedheader1">
  <xsl:call-template name="quote">
@@ -165,10 +178,23 @@ step for expanding objects -->
  </xsl:call-template>
 </xsl:variable>
 
+<xsl:variable name="quotedheader3">
+ <xsl:call-template name="quote">
+  <xsl:with-param name="s" select="$header3"/>
+ </xsl:call-template>
+</xsl:variable>
+
 <!-- makeURL() maps URIs into URLs               -->
 <!-- The target of the URL is the whole frameset -->
 
 <xsl:variable name="biquotedfixedheader">
+ <xsl:value-of select="$header0"/>
+ <xsl:value-of select="$quotedheader1"/>
+ <xsl:value-of select="$quotedquotedkeys"/>
+ <xsl:value-of select="$quotedheader2"/>
+</xsl:variable>
+
+<xsl:variable name="biquotedthfixedheader">
  <xsl:value-of select="$header0"/>
  <xsl:value-of select="$quotedheader1"/>
  <xsl:value-of select="$quotedquotedthkeys"/>
@@ -180,20 +206,29 @@ step for expanding objects -->
 <!-- type, instead, is not propagated                               -->
 <xsl:template name="makeURL">
 <xsl:param name="uri" select="''"/>
-    <xsl:value-of select="$biquotedfixedheader"/>
-    <xsl:value-of select="$uri"/>%26param.CICURI%3D<xsl:value-of select="$uri"/>
+     <xsl:value-of select="$biquotedfixedheader"/>
+     <xsl:value-of select="$uri"/>%26param.CICURI%3D<xsl:value-of select="$uri"/>
+</xsl:template>
+<xsl:template name="makeTheoryURL">
+<xsl:param name="uri" select="''"/>
+     <xsl:value-of select="$biquotedthfixedheader"/>
+     <xsl:value-of select="$uri"/>%26param.CICURI%3D<xsl:value-of select="$uri"/>
+     <xsl:value-of select="$quotedheader3"/>
 </xsl:template>
 
-<!-- makeTheoryURL() maps URIs into URLs                  -->
+<!-- makeURL4embedding() maps URIs into URLs              -->
 <!-- The target of the URL is only the processed document -->
 
-<xsl:template name="makeTheoryURL">
+<xsl:template name="makeURL4embedding">
 <xsl:param name="uri" select="''"/>
 <xsl:param name="type" select="0"/>
  <xsl:value-of select="$header1"/>
- <xsl:value-of select="$quotedthkeys"/>
+ <xsl:value-of select="$quotedekeys"/>
  <xsl:value-of select="$header2"/>
  <xsl:value-of select="$uri"/>&#x26;param.CICURI=<xsl:value-of select="$uri"/>&#x26;param.type=<xsl:value-of select="$type"/>
 </xsl:template>
 
 </xsl:stylesheet> 
+
+
+