X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent_to_html.xsl;h=9de7d48962cfe82ab3522e65dfd56f9db15cd66b;hb=fb158d51c621e55962a6139d03cd1678cfb2e8f1;hp=533cf22998ed1cceaa23e55e7f89644e601a0a00;hpb=ed5997c069d632999f6e970857cfa74c99f9c050;p=helm.git

diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index 533cf2299..9de7d4896 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -32,26 +32,12 @@
 <!-- HELM Group: Asperti, Padovani, Sacerdoti, 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:variable name="absPath"><xsl:value-of select="$getterURL"/>getciconly?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.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:include href="html_init.xsl"/>
 <xsl:include href="html_set.xsl"/>
 <xsl:include href="html_reals.xsl"/>
 
 <xsl:variable name="showcast" select="0"/>
 
-<xsl:template name="makeURL">
- <xsl:param name="url" select="''"/>
- <xsl:value-of select="concat(string($header),string($url),'&#x26;param.CICURI=',string($url))"/>
-</xsl:template>
-
 <!--***********************************************************************-->
 <!-- HTML Head and Body                                                    -->
 <!--***********************************************************************-->
@@ -134,12 +120,7 @@
 <xsl:template mode="inline" match="m:ci">
  <xsl:choose>
   <xsl:when test="boolean(@definitionURL)">
-   <a>
-   <xsl:attribute name="href">
-    <xsl:call-template name="makeURL">
-     <xsl:with-param name="url" select="@definitionURL"/>
-    </xsl:call-template>
-   </xsl:attribute>
+   <a href="{@definitionURL}">
    <xsl:apply-templates/>
    </a>
   </xsl:when>
@@ -836,12 +817,7 @@
 <xsl:template match="m:ci">
  <xsl:choose>
   <xsl:when test="boolean(@definitionURL)">
-   <a>
-   <xsl:attribute name="href">
-    <xsl:call-template name="makeURL">
-     <xsl:with-param name="url" select="@definitionURL"/>
-    </xsl:call-template>
-   </xsl:attribute>
+   <a href="{@definitionURL}">
    <xsl:apply-templates/>
    </a>
   </xsl:when>