]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/html_reals.xsl
http_getter reimplemented from scratch
[helm.git] / helm / style / html_reals.xsl
index 04ff478c5aca48f302d4a81939db104ef7ef2eb1..1f1750b2d15f45f537ea8db721f245416b06e9b6 100644 (file)
@@ -8,7 +8,7 @@
 <!-- HELM Group: Asperti, Padovani, Sacerdoti, Schena                      -->
 <!--***********************************************************************--> 
 
-<xsl:variable name="absPath">http://localhost:8081/get?url=</xsl:variable>
+<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
 
 <!-- LIMIT -->