X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fobjtheorycontent.xsl;h=3931e7532c428ade70c055b1e0a79e12f449d854;hb=fb158d51c621e55962a6139d03cd1678cfb2e8f1;hp=6b860a0a44dd1cefa8b20e1408d2aae3a537008b;hpb=c2240adf58d6e77973bb057f09e2232852046bf8;p=helm.git

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>
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-