X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fxsl%2Ftml-texid.xsl;fp=helm%2FDEVEL%2Fmathml_editor%2Fxsl%2Ftml-texid.xsl;h=0000000000000000000000000000000000000000;hp=20de507a4ea0c42ce5afa72c7c17877441666bfc;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/mathml_editor/xsl/tml-texid.xsl b/helm/DEVEL/mathml_editor/xsl/tml-texid.xsl
deleted file mode 100644
index 20de507a4..000000000
--- a/helm/DEVEL/mathml_editor/xsl/tml-texid.xsl
+++ /dev/null
@@ -1,123 +0,0 @@
-<?xml version="1.0"?>
-
-<xsl:stylesheet
-     xmlns:xsl="http://www.w3.org/1999/XSL/Transform" 
-     xmlns:tml="http://helm.cs.unibo.it/2002/TML"
-     xmlns:m="http://www.w3.org/1998/Math/MathML"
-     version="1.0">
-
-  <xsl:output method="text" indent="yes"/>
-
-  <xsl:param name="id" select="/.."/>
-
-  <xsl:template match="/">
-    <xsl:choose>
-      <xsl:when test="$id">
-        <xsl:apply-templates select="descendant::*[@id=$id]"/>
-      </xsl:when>
-      <xsl:otherwise>
-        <xsl:apply-templates select="*"/>
-      </xsl:otherwise>
-    </xsl:choose>
-  </xsl:template>
-  
-  <xsl:template match="*[@id]">{\id{<xsl:value-of select="@id"/>}{<xsl:apply-templates select="." mode="core"/>}}</xsl:template>
-
-  <xsl:template match="*"><xsl:apply-templates select="." mode="core"/></xsl:template>
-
-  <xsl:template match="tml:tex">
-    <xsl:apply-templates select="*"/>
-  </xsl:template>
-
-  <xsl:template match="tml:math[@id]">
-    <xsl:choose>
-      <xsl:when test="@display='1'">$${\id{<xsl:value-of select="@id"/>}{<xsl:apply-templates select="*" mode="core"/>}}$$</xsl:when>
-      <xsl:otherwise>${\id{<xsl:value-of select="@id"/>}{<xsl:apply-templates select="*" mode="core"/>}}$</xsl:otherwise>
-    </xsl:choose>
-  </xsl:template>
-  
-  <xsl:template match="tml:math">
-    <xsl:choose>
-      <xsl:when test="@display='1'">$$<xsl:apply-templates select="*"/>$$</xsl:when>
-      <xsl:otherwise>$<xsl:apply-templates select="*"/>$</xsl:otherwise>
-    </xsl:choose>
-  </xsl:template>
-
-  <xsl:template match="tml:i" mode="core">
-    <xsl:choose>
-      <xsl:when test="@name">\<xsl:value-of select="@name"/>
-        <xsl:if test="parent::tml:g and following-sibling::tml:i"><xsl:value-of select="' '"/></xsl:if>
-      </xsl:when>
-      <xsl:otherwise><xsl:value-of select="@val"/></xsl:otherwise>
-    </xsl:choose>
-  </xsl:template>
-
-  <xsl:template match="tml:n" mode="core">
-    <xsl:choose>
-      <xsl:when test="@name">\<xsl:value-of select="@name"/>
-        <xsl:if test="parent::tml:g and following-sibling::tml:i"><xsl:value-of select="' '"/></xsl:if>
-      </xsl:when>
-      <xsl:otherwise><xsl:value-of select="@val"/></xsl:otherwise>
-    </xsl:choose>
-  </xsl:template>
-
-  <xsl:template match="tml:o" mode="core">
-    <xsl:choose>
-      <xsl:when test="@name">\<xsl:value-of select="@name"/>
-        <xsl:if test="parent::tml:g and following-sibling::tml:i"><xsl:value-of select="' '"/></xsl:if>
-      </xsl:when>
-      <xsl:otherwise><xsl:value-of select="@val"/></xsl:otherwise>
-    </xsl:choose>
-  </xsl:template>
-
-  <xsl:template match="tml:s" mode="core">
-    <xsl:text> </xsl:text>
-  </xsl:template>
-
-  <xsl:template match="tml:sb" mode="core">
-    <xsl:choose>
-      <xsl:when test="@under='1'">
-        <xsl:apply-templates select="*[1]"/>__<xsl:apply-templates select="*[2]"/>
-      </xsl:when>
-      <xsl:otherwise>
-        <xsl:apply-templates select="*[1]"/>_<xsl:apply-templates select="*[2]"/>
-      </xsl:otherwise>
-    </xsl:choose>
-  </xsl:template>
-
-  <xsl:template match="tml:sp" mode="core">
-    <xsl:choose>
-      <xsl:when test="@over='1'">
-        <xsl:apply-templates select="*[1]"/>^^<xsl:apply-templates select="*[2]"/>
-      </xsl:when>
-      <xsl:otherwise>
-        <xsl:apply-templates select="*[1]"/>^<xsl:apply-templates select="*[2]"/>
-      </xsl:otherwise>
-    </xsl:choose>
-  </xsl:template>
-
-  <xsl:template match="tml:g" mode="core">{<xsl:apply-templates select="*"/>}</xsl:template>
-
-  <xsl:template match="tml:row" mode="core">
-    <xsl:apply-templates select="cell"/>\cr </xsl:template>
-
-  <xsl:template match="tml:cell" mode="core">
-    <xsl:apply-templates select="*"/>
-    <xsl:if test="position() &lt; last()">&amp;</xsl:if>
-  </xsl:template>
-
-<!--/// CONTROL SEQUENCES ///-->
-
-  <xsl:template match="tml:c[*[1][self::tml:g[@left-open='1']]]" mode="core">
-    <xsl:apply-templates select="*[1]"/>\<xsl:value-of select="@name"/>
-    <xsl:if test="*[2][self::tml:i]"><xsl:value-of select="' '"/></xsl:if>
-    <xsl:apply-templates select="*[position()&gt;1]"/>
-  </xsl:template>
-
-  <xsl:template match="tml:c" mode="core">\<xsl:value-of select="@name"/>
-    <xsl:if test="*[1][self::tml:i]"><xsl:value-of select="' '"/></xsl:if>
-    <xsl:apply-templates select="*"/>
-  </xsl:template>
-
-</xsl:stylesheet>
-