]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/theory_content.xsl
http_getter reimplemented from scratch
[helm.git] / helm / style / theory_content.xsl
index 9b65cc5b2d42d010bdedc80279df62b76a9d5722..5ff5a41f76c37299c42f6929214289e5a4739068 100644 (file)
@@ -13,7 +13,7 @@
 <!-- Variable containing the absolute path of the CIC file            -->
 <!--******************************************************************-->
 
-<xsl:variable name="absPath">http://localhost:8081/get?url=</xsl:variable>
+<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
 
 <!-- THEORY -->