From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 12 Dec 2002 15:43:14 +0000 (+0000)
Subject: INDEXEs on hrefRel and hrefSort added.
X-Git-Tag: v0_3_99~132
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6284d26bf5e19047acb8b4e89aa519caa04ed413;hp=6284d26bf5e19047acb8b4e89aa519caa04ed413;p=helm.git

INDEXEs on hrefRel and hrefSort added.
---