]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/content_to_html.xsl
Modified Files:
[helm.git] / helm / style / content_to_html.xsl
index d352da2a9a6d713dbc99819d8b68a1e15519a968..5b57eb0ff19859363a9c0d74bf25ee064bed9877 100644 (file)
 <xsl:include href="html_set.xsl"/>
 <xsl:include href="html_reals.xsl"/>
 
-
-<!-- <xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>-->
-<xsl:variable name="header" select="document('http://localhost:8081/conf')/html_link"/>
-
 <xsl:variable name="showcast" select="0"/>