From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 13 Feb 2002 12:20:17 +0000 (+0000)
Subject: Ordered list (ol) replaced by a table to be able to number packages
X-Git-Tag: V_0_3_0_debian_8~335
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c4f3f237e762733eec0446b5b0c99c046336c893;hp=c4f3f237e762733eec0446b5b0c99c046336c893;p=helm.git

Ordered list (ol) replaced by a table to be able to number packages
starting from 0. ;-(
---