From: Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Date: Wed, 29 May 2019 19:52:30 +0000 (+0200)
Subject: update in basic_2
X-Git-Tag: make_still_working~248
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=6b4da5fa47d474dcf2f203ec7f5ed36938739c9b;hp=6b4da5fa47d474dcf2f203ec7f5ed36938739c9b

update in basic_2

+ totality for fixed cpce
+ Makefile: bug fixed
---