]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ad14dd) | patch
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
tree0e7835ff0b68fbcf8cb56999bb7026f93061d1c5tree | snapshot
parent2ad14dd8ca7dde8d3a5a33ebc466d3ea77b4b6c6commit | diff
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 diff | blob | history
helm/style/html_init.xsl diff | blob | history
helm/style/html_reals.xsl diff | blob | history
helm/style/html_set.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.