From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 20 Jul 2005 15:00:50 +0000 (+0000)
Subject: Empty Box.Text changed to Box.smallskip.
X-Git-Tag: V_0_7_2~144
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1bcad789810fd37d346e690f18557aeedc6fe08c;hp=1bcad789810fd37d346e690f18557aeedc6fe08c;p=helm.git

Empty Box.Text changed to Box.smallskip.
---