From: Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Date: Thu, 20 Dec 2018 15:46:01 +0000 (+0100)
Subject: xoa utility updated
X-Git-Tag: make_still_working~259
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f4e15b10a8f778c77953ed4c1ebdc7107ffd4d55;hp=f4e15b10a8f778c77953ed4c1ebdc7107ffd4d55;p=helm.git

xoa utility updated

+ two missing cases implemented
+ dependences fixed in Makefile
---