X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fset.xsl;h=849365f3f6f155b1bda2ae33150525752dd6e99b;hb=fb158d51c621e55962a6139d03cd1678cfb2e8f1;hp=6fc55645a2c984443e05cfb522cae765ea997037;hpb=8e1a7e55cbc7750446f0a7ab3d071190594243fb;p=helm.git diff --git a/helm/style/set.xsl b/helm/style/set.xsl index 6fc55645a..849365f3f 100644 --- a/helm/style/set.xsl +++ b/helm/style/set.xsl @@ -34,11 +34,6 @@ xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:helm="http://www.cs.unibo.it/helm"> - - - - -http://localhost:8081/getciconly?uri=