NuPrlDefinition element handling added

[helm.git] / helm / nuprl_stylesheets / nuprl_content_to_html2.xsl

diff --git a/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl b/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
index 43d420f2f6fd920cfdab3a73747d3e2a1258b5da..cc6e7c9cccee494274d07c21d7c12875924af0f7 100644 (file)
--- a/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
+++ b/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
@@ -2844,6 +2844,14 @@
          </xsl:if>
 </xsl:template>
 
+<!-- NuPRLDefinition -->
+
+<xsl:template match="NuPrlDefinition">
+ <xsl:apply-templates select="*[1]"/>
+ <xsl:text> := </xsl:text>
+ <xsl:apply-templates select="*[2]"/>
+</xsl:template>
+
 <!-- DEFINITION -->
 
 <xsl:template match="Definition">