]> matita.cs.unibo.it Git - helm.git/commit
Ordered list (ol) replaced by a table to be able to number packages
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Feb 2002 12:20:17 +0000 (12:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Feb 2002 12:20:17 +0000 (12:20 +0000)
commitc4f3f237e762733eec0446b5b0c99c046336c893
tree8e9b4cb545e081c06a3b3a3f01b1b353c1c6e939
parent3bd647807609280db9402899a3bf1096a1837fc0
Ordered list (ol) replaced by a table to be able to number packages
starting from 0. ;-(
helm/mowgli/home/xsl/work-packages_index.xsl