From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Wed, 9 Dec 2009 15:47:38 +0000 (+0000)
Subject: Minor fixing for last chance
X-Git-Tag: make_still_working~3179
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=0590a3073dae55f31e79c71e3ed2a4d66a851a0d;hp=0590a3073dae55f31e79c71e3ed2a4d66a851a0d;p=helm.git

Minor fixing for last chance
---