Modified Files:

[helm.git] / helm / style / theory_pres.xsl
diff --git a/helm/style/theory_pres.xsl b/helm/style/theory_pres.xsl

index 8cebb6185b77adf3f10712e249813b01fe37272e..5d60b9efafabab4fc77e85ab0153498123b8c184 100644 (file)
--- a/helm/style/theory_pres.xsl
+++ b/helm/style/theory_pres.xsl
@@ -33,7 +33,13 @@
  <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                                xmlns:m="http://www.w3.org/1998/Math/MathML">
  
-<xsl:import href="annotatedpres.xsl"/>
+<!--<xsl:output method="html" encoding="iso-8859-1"/>-->
+<xsl:output 
+       method="xml" 
+       encoding="iso-8859-1" 
+       media-type="text/html"
+       doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
+       doctype-system="DTD/xhtml1-transitional.dtd" />
  
  <xsl:template match="SECTION">
  <xsl:param name="subsect" select="0"/>
@@ -42,18 +48,28 @@
       <html> 
        <head></head>
        <body>
-       <m:math><m:mtext>BEGIN SECTION</m:mtext></m:math>
+       <h3>BEGIN SECTION</h3>
         <xsl:apply-templates select="*"><xsl:with-param name="subsect" select="1"/></xsl:apply-templates>
-       <m:math><m:mtext>END SECTION</m:mtext></m:math>
+       <h3>END SECTION</h3>
        </body>
       </html>
      </xsl:when>
      <xsl:otherwise>
-     <m:math><m:mtext>BEGIN SECTION</m:mtext></m:math>
+     <h3>BEGIN SECTION</h3>
        <xsl:apply-templates select="*"><xsl:with-param name="subsect" select="1"/></xsl:apply-templates>
-     <m:math><m:mtext>END SECTION</m:mtext></m:math>
+     <h3>END SECTION</h3>
      </xsl:otherwise>
      </xsl:choose>
  </xsl:template>
  
+<xsl:template match="ENTITY">
+  <ENTITY uri="{@uri}"/>
+</xsl:template>
+
  </xsl:stylesheet>
+
+
+
+
+
+