From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 18 Oct 2019 14:39:15 +0000 (+0200)
Subject: Merge remote-tracking branch 'origin/ld-0.99.3'
X-Git-Tag: make_still_working~225
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e3369ffc8b690703cfafc7985f69db5fc140d749;hp=e3369ffc8b690703cfafc7985f69db5fc140d749;p=helm.git

Merge remote-tracking branch 'origin/ld-0.99.3'

+ renaming
---