]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b72beb6) | patch
When printing the body of a constant, the type is also printed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 Oct 2002 17:51:59 +0000 (17:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 Oct 2002 17:51:59 +0000 (17:51 +0000)
commitd891eccad8306283c5b1e6c1e9a8c56b2ebd5309
tree05678988c9573b2c4a2d3b66658856ddbcf4adc7tree | snapshot
parentb72beb68cf0c34cb0785ad7e2a4c426494e29e6acommit | diff
When printing the body of a constant, the type is also printed.
Requires the $ConstantTypeUrl variable set in rootcontent.xsl
helm/style/objcontent.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.