From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 22 Mar 2002 13:25:19 +0000 (+0000)
Subject: Layout improved.
X-Git-Tag: V_0_3_0_debian_8~195
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ff5079a2aeb8e62e23c9eb4c1c9fbf37056e5f97;hp=ff5079a2aeb8e62e23c9eb4c1c9fbf37056e5f97;p=helm.git

Layout improved.
---