]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/mmlextension.xsl
Many improvements in theory-rendering.
[helm.git] / helm / style / mmlextension.xsl
index 5a9a391d3466dd130f83df6d76ae72e26e304e34..a4dfc5f01e7210c6ecc3aca3246cbe4b322c23fb 100644 (file)
@@ -62,11 +62,19 @@ which generates the toplevel element (see for instance xlink) -->
 <!--        OBJECTS       -->
 <!--**********************-->
 
+<xsl:param name="type" select="'standalone'"/>
+
 <xsl:template match="/">
- <!--
- <xsl:processing-instruction name="cocoon-format">type="text/xhtml"</xsl:processing-instruction>
- -->
- <xsl:apply-templates select="*"/>
+ <xsl:choose>
+  <xsl:when test="$type = 'standalone'">
+   <xsl:apply-templates select="*"/>
+  </xsl:when>
+  <xsl:otherwise>
+   <to_be_embedded>
+    <xsl:apply-templates select="*"/>
+   </to_be_embedded>
+  </xsl:otherwise> 
+ </xsl:choose>
 </xsl:template>
 
 <!-- DEFINITION -->