From: Claudio Sacerdoti Coen Date: Wed, 23 Oct 2002 17:51:59 +0000 (+0000) Subject: When printing the body of a constant, the type is also printed. X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d891eccad8306283c5b1e6c1e9a8c56b2ebd5309;p=helm.git When printing the body of a constant, the type is also printed. Requires the $ConstantTypeUrl variable set in rootcontent.xsl --- diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl index 9cf2ca7f9..064d0ca9a 100644 --- a/helm/style/objcontent.xsl +++ b/helm/style/objcontent.xsl @@ -158,7 +158,9 @@ - + + + @@ -181,6 +183,9 @@ + + +