From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 17 Jul 2003 12:30:26 +0000 (+0000)
Subject: - new generated query "unreferred" implemented at server side
X-Git-Tag: LucaOK~66
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=96134b9ec1030ed15cea00d751dd4d744463f62c;hp=96134b9ec1030ed15cea00d751dd4d744463f62c;p=helm.git

- new generated query "unreferred" implemented at server side
- fixed some aspects of the constraint generator for "matchConclusion"
- fixed a bug that prevented to "make opt" in ocaml/gTopLevel
---