]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed: now propagates informations about inner-types usage and
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 7 Mar 2001 11:05:20 +0000 (11:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 7 Mar 2001 11:05:20 +0000 (11:05 +0000)
commitb564f0671c133928e372e352d972a7663b6a9136
tree0e7835ff0b68fbcf8cb56999bb7026f93061d1c5
parent2ad14dd8ca7dde8d3a5a33ebc466d3ea77b4b6c6
Bug fixed: now propagates informations about inner-types usage and
natural language when following hyperlinks.

WARNING: to create an hyperlink, it is no more enough to concatenate
 $header and the URI. You need to call the new makeURL() named-template.
helm/style/content_to_html.xsl
helm/style/html_init.xsl
helm/style/html_reals.xsl
helm/style/html_set.xsl