]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/reals.xsl
http_getter reimplemented from scratch
[helm.git] / helm / style / reals.xsl
index 6c47f95627160055cb7879eae845ba74c9a131f9..208d8416ef41e5b5f708936dbc8d36d43d19fd10 100644 (file)
@@ -15,7 +15,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>
 
 <!-- ************************* LOGIC *********************************-->