]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3370bb5) | patch
Annotations now working again (even if in a bit trickier way).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Mar 2001 17:27:33 +0000 (17:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Mar 2001 17:27:33 +0000 (17:27 +0000)
commit699fe34e458506db3ade298abc8c64cf622d27ba
tree11f70ef6c40b89b4b839d78497136224a1adc30ctree | snapshot
parent3370bb5149deef15ba35b913c5641cd3bf9aea01commit | diff
Annotations now working again (even if in a bit trickier way).
The get method of the getter could now be safely removed... URRAH!
helm/style/annotatedcont.xsl diff | blob | history
helm/style/content_to_html.xsl diff | blob | history
helm/style/expandobj.xsl diff | blob | history
helm/style/rootcontent.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.