Raw mode now really considers compressed/not compressed

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

index f8ade2a8222745dec2b1c099bc062b3ab9b905cb..5d60b9efafabab4fc77e85ab0153498123b8c184 100644 (file)
--- a/helm/style/theory_pres.xsl
+++ b/helm/style/theory_pres.xsl
@@ -1,5 +1,29 @@
  <?xml version="1.0"?>
  
+<!-- Copyright (C) 2000, HELM Team                                     -->
+<!--                                                                   -->
+<!-- This file is part of HELM, an Hypertextual, Electronic            -->
+<!-- Library of Mathematics, developed at the Computer Science         -->
+<!-- Department, University of Bologna, Italy.                         -->
+<!--                                                                   -->
+<!-- HELM is free software; you can redistribute it and/or             -->
+<!-- modify it under the terms of the GNU General Public License       -->
+<!-- as published by the Free Software Foundation; either version 2    -->
+<!-- of the License, or (at your option) any later version.            -->
+<!--                                                                   -->
+<!-- HELM is distributed in the hope that it will be useful,           -->
+<!-- but WITHOUT ANY WARRANTY; without even the implied warranty of    -->
+<!-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the     -->
+<!-- GNU General Public License for more details.                      -->
+<!--                                                                   -->
+<!-- You should have received a copy of the GNU General Public License -->
+<!-- along with HELM; if not, write to the Free Software               -->
+<!-- Foundation, Inc., 59 Temple Place - Suite 330, Boston,            -->
+<!-- MA  02111-1307, USA.                                              -->
+<!--                                                                   -->
+<!-- For details, see the HELM World-Wide-Web page,                    -->
+<!-- http://cs.unibo.it/helm/.                                         -->
+
  <!--***********************************************************************--> 
  <!-- XSLT version 0.1 of theory sections to HTML:                          -->
  <!-- First draft: May 10 2000, Irene Schena                                -->
@@ -9,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"/>
@@ -18,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>
+
+
+
+
+
+