X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_reals.xsl;h=1f1750b2d15f45f537ea8db721f245416b06e9b6;hb=8dd44f97c9c97ae32bc91288a9d08c00ef63c965;hp=04ff478c5aca48f302d4a81939db104ef7ef2eb1;hpb=aa87f28d3a96456e7cec9493c6533e5c146812e8;p=helm.git
diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl
index 04ff478c5..1f1750b2d 100644
--- a/helm/style/html_reals.xsl
+++ b/helm/style/html_reals.xsl
@@ -8,7 +8,7 @@
-http://localhost:8081/get?url=
+http://localhost:8081/getciconly?uri=