X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Flink.xsl;h=3e3dc8c2009a00e54d0021a78d2033ec36af343b;hb=fb158d51c621e55962a6139d03cd1678cfb2e8f1;hp=ad974012bc4fa09a51d48ab044b8ebcf84a9b6e4;hpb=f722a31ead51849d642197b7050a0f6258da5fef;p=helm.git

diff --git a/helm/style/link.xsl b/helm/style/link.xsl
index ad974012b..3e3dc8c20 100644
--- a/helm/style/link.xsl
+++ b/helm/style/link.xsl
@@ -34,23 +34,7 @@
 <!-- First draft: March 16 2001, Irene Schena                              -->
 <!--***********************************************************************--> 
 
-<xsl:param name="getterURL" select="'http://localhost:8081/'"/>
-<xsl:param name="processorURL" select="'http://localhost:8080/helm/servlet/uwobo/'"/>
-<xsl:param name="keys" select="'C1,HC2'"/>
-<xsl:param name="naturalLanguage" select="'yes'"/>
-<xsl:param name="annotations" select="'no'"/>
-<xsl:param name="media-type" select="'text/html'"/>
-<xsl:param name="doctype-public" select="'-//W3C//DTD XHTML 1.0 Transitional//EN'"/>
-<xsl:param name="encoding" select="iso-8859-1"/>
-
-<xsl:variable name="absPath"><xsl:value-of select="$getterURL"/>getxml?uri=</xsl:variable>
-
-<xsl:variable name="header"><xsl:value-of select="$processorURL"/>apply?keys=<xsl:value-of select="$keys"/>&#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;prop.doctype-public=<xsl:value-of select="$doctype-public"/>&#x26;prop.encoding=<xsl:value-of select="$encoding"/>&#x26;param.keys=<xsl:value-of select="$keys"/>&#x26;param.getterURL=<xsl:value-of select="$getterURL"/>&#x26;param.processorURL=<xsl:value-of select="$processorURL"/>&#x26;xmluri=<xsl:value-of select="$absPath"/></xsl:variable>
-
-<xsl:template name="makeURL">
-<xsl:param name="uri" select="''"/>
-    <xsl:value-of select="concat(string($header),string($uri),'&#x26;param.CICURI=',string($uri))"/>
-</xsl:template>
+<xsl:import href="links_library.xsl"/>
 
 <xsl:template match="*[@xlink:href]">
  <xsl:copy>
@@ -83,4 +67,4 @@
   </xsl:copy>
 </xsl:template>
 
-</xsl:stylesheet> 
\ No newline at end of file
+</xsl:stylesheet>