From: Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Date: Thu, 27 Feb 2020 15:18:06 +0000 (+0100)
Subject: milestone update in ground_2 and basic_2A
X-Git-Tag: make_still_working~187
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1fd63df4c77f5c24024769432ea8492748b4ac79;hp=1fd63df4c77f5c24024769432ea8492748b4ac79;p=helm.git

milestone update in ground_2 and basic_2A

+ basic_2A ported to ground_2
+ cpy, cpys and lsuby parked in basic_2A
+ ground_2 updated for basic_2A becomes an independent package
+ ground_2A removed
+ parked files for basic_2A moved in basic_2A
+ web site update
---