]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/reals.xsl
Modified Files:
[helm.git] / helm / style / reals.xsl
index 7a1a0d1839de749ac5c4e0a23491d0f565f00393..6c6f1a7555e49a6705058094f4206195244a4480 100644 (file)
                               xmlns:helm="http://www.cs.unibo.it/helm"
                               xmlns:xlink="http://www.w3.org/1999/xlink">
 
-<!--******************************************************************-->
-<!-- Variable containing the absolute path of the CIC file            -->
-<!--******************************************************************-->
-
-<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
 
 <!-- ************************* LOGIC *********************************-->