From: Luca Padovani <luca.padovani@unito.it>
Date: Thu, 13 Mar 2003 11:50:00 +0000 (+0000)
Subject: * added license and copyright to every source file
X-Git-Tag: V_0_0_4_2~9
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=d195deff022235dcb39cc4d5865f5bd3c8d3ca07;hp=d195deff022235dcb39cc4d5865f5bd3c8d3ca07;p=helm.git

* added license and copyright to every source file
* fixes in the makefiles for distribution
* preparing for packaging
---