From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 4 Nov 2010 14:51:22 +0000 (+0000)
Subject: - some changes in the crux icon
X-Git-Tag: make_still_working~2735
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=01b29f47d0d3e6c131fbdcc7a4180d428c8c97b9;hp=01b29f47d0d3e6c131fbdcc7a4180d428c8c97b9;p=helm.git

- some changes in the crux icon
- the installation of the icons is now automatized
---