]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/content.xsl
getheader.xml setheader.xsl : fix del bug bruttissimo
[helm.git] / helm / style / content.xsl
index 24b97e6e6f738697a19dcb14800b8ab77a5628ec..68a418dcdd24587953282a0d8236d84cae2b4b32 100644 (file)
            media-type="text/mathml" /> -->
 
 <!-- DA FARE: 
-1)risolvere nella fase di pre-processing le uri relative, settando l'attributo
+1)risolvere nella fase di pre-processing le uri relative delle var, settando 
+l'attributo
 definitionURL dell'oggetto corrispondente (alcuni punteranno a nulla! -quelli 
 che non hanno il file di definizione corrispondente-); [le uri assolute hanno
 la forma cic:/.../ in definitionURL e questo schema di uri verra' risolto da
 Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-2)aggiungere nei file xml gli ID, affinche' nello stylesheet si setti
-l'attributo xref di ogni oggetto per puntare (tramite ID) al suo corrispondente
-della rappresentazione interna. 
 -->
 
 <!--******************************************************************-->
 <!-- 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 -->
 
@@ -240,7 +238,7 @@ della rappresentazione interna.
      <xsl:variable name="findex"><xsl:value-of select="@noFun"/></xsl:variable>
      <m:csymbol>fix</m:csymbol>
      <m:ci><xsl:value-of select="FixFunction[position()=number($findex)+1]/@name"/></m:ci>
-     <xsl:apply-templates mode="noannot" select="*"/>
+     <xsl:apply-templates mode="pure" select="*"/>
     </m:apply>
 </xsl:template>
 
@@ -249,7 +247,7 @@ della rappresentazione interna.
      <xsl:variable name="findex"><xsl:value-of select="@noFun"/></xsl:variable>
      <m:csymbol>cofix</m:csymbol>
      <m:ci><xsl:value-of select="CofixFunction[position()=number($findex)+1]/@name"/></m:ci>
-     <xsl:apply-templates mode="noannot" select="*"/>
+     <xsl:apply-templates mode="pure" select="*"/>
     </m:apply>
 </xsl:template>