From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sat, 8 Sep 2018 19:09:55 +0000 (+0200)
Subject: update in static_2 and basic_2
X-Git-Tag: make_still_working~283
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=eeeaecfafd5ddffa54a41356104fbc60369e5d73;hp=eeeaecfafd5ddffa54a41356104fbc60369e5d73;p=helm.git

update in static_2 and basic_2

+ cnv_cpms_conf_aux proved
  for positive terms wrt the system of reference
+ unused files parked or removed
---