]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/content.xsl
http_getter reimplemented from scratch
[helm.git] / helm / style / content.xsl
index 7d211d2f7e7c1758efb3d2d3a3d902db04bd76a2..68a418dcdd24587953282a0d8236d84cae2b4b32 100644 (file)
@@ -37,7 +37,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
 <!-- Variable containing the absolute path of the CIC file            -->
 <!--******************************************************************-->
 
-<xsl:variable name="absPath">http://localhost:8081/get?url=</xsl:variable>
+<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
 
 <!-- CIC TERMS -->
 
@@ -45,11 +45,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
     <m:lambda helm:xref="{@id}">
      <m:bvar>
       <m:ci>
-      <!--<m:msqrt>
-       <m:mi>-->
-        <xsl:value-of select="target/@binder"/>
-      <!-- </m:mi>
-       </m:msqrt>-->
+       <xsl:value-of select="target/@binder"/>
       </m:ci>
       <m:type>
        <xsl:apply-templates select="source/*[1]" mode="noannot"/>