From: Stefano Zacchiroli Date: Thu, 2 Feb 2006 14:31:25 +0000 (+0000) Subject: added meta targets all, opt, ... X-Git-Tag: make_still_working~7678 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3ae7a50cfadde385428c599cd55d0aef2eb75ac8;hp=3ae7a50cfadde385428c599cd55d0aef2eb75ac8;p=helm.git added meta targets all, opt, ... ---