]> matita.cs.unibo.it Git - helm.git/commit
Files with annotations available now use a different icon
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Mar 2001 11:48:37 +0000 (11:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Mar 2001 11:48:37 +0000 (11:48 +0000)
commit2f7227d339116196ccbe52b86923051441e2647d
tree18c2ce956863de3ad33b96809aeafab4bb6f4ba5
parentf79235c1673029bf7baa47f80adb0580d3da8277
Files with annotations available now use a different icon
helm/on-line/xslt/ls2html.xsl