From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 19 Mar 2001 10:51:12 +0000 (+0000)
Subject: getciconly ==> getxml
X-Git-Tag: v0_1_2~63
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c60f8d1e3951c3efbfed0383a536dd3a1c5a9d9b;p=helm.git

getciconly ==> getxml
---

diff --git a/helm/style/objtheorycontent.xsl b/helm/style/objtheorycontent.xsl
index 6b860a0a4..3931e7532 100644
--- a/helm/style/objtheorycontent.xsl
+++ b/helm/style/objtheorycontent.xsl
@@ -35,7 +35,7 @@
 
 <xsl:param name="type" select="0"/>
 <xsl:param name="getterURL" select="'http://localhost:8081/'"/>
-<xsl:variable name="absPath"><xsl:value-of select="$getterURL"/>getciconly?uri=</xsl:variable>
+<xsl:variable name="absPath"><xsl:value-of select="$getterURL"/>getxml?uri=</xsl:variable>
 
 <xsl:import href="objcontent.xsl"/>
 <xsl:include href="basic.xsl"/>
@@ -84,82 +84,3 @@
 </xsl:template>
 
 </xsl:stylesheet>
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-