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=