From: Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Date: Tue, 11 Feb 2020 18:35:15 +0000 (+0100)
Subject: update in binaries for λδ
X-Git-Tag: make_still_working~189
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=59fd7b5ea24e71b47aee069440f140bcccf1292a;hp=59fd7b5ea24e71b47aee069440f140bcccf1292a;p=helm.git

update in binaries for λδ

+ roles: updated web interface with filter function in js
---