]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 37a5400) | patch
Improved rendering for rewriting steps: a little indentation added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Apr 2001 15:00:00 +0000 (15:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Apr 2001 15:00:00 +0000 (15:00 +0000)
commit722f0a29884564efec65ea5e9c422c297eea8353
treeb61a80787855d360379bdac35de83c845226343dtree | snapshot
parent37a5400d10d8d110f96b7a60700c381072182fbacommit | diff
Improved rendering for rewriting steps: a little indentation added
and a bug in "charcount" called fix.

REMEMBER: charcount mode must be used only on the first child
 because it counts the size of the node considered, its descendants,
 its siblings and all their descendants
helm/style/content_to_html.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.