extra_info hack removed

[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 5fb0c0d8aaec85dd4059d28f78543bfac4629bdb..43d420f2f6fd920cfdab3a73747d3e2a1258b5da 100644 (file)
--- a/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
+++ b/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
@@ -2785,10 +2785,6 @@
           </xsl:call-template>
           <xsl:text>By </xsl:text>
           <xsl:apply-templates select="TacticInstance/@name"/>
-          <!-- CSC: extra_info in HTML to be rendered here -->
-          <xsl:for-each select="TacticInstance/extra_info">
-           <xsl:copy-of select="*|text()"/>
-          </xsl:for-each>
           <a style="text-decoration:underline ; color:green" href="{TacticInstance/@uri}">Tactic Details</a>
           <xsl:if test="$explode_tactics">
           <span ID="{$freshid4}">