From: Claudio Sacerdoti Coen Date: Sat, 30 Jun 2007 12:16:20 +0000 (+0000) Subject: BU Conversion was not generated for Rels fixed. I wonder why... X-Git-Tag: make_still_working~6230 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=29ff024ae2dca40fa476a2b8ffa1f16b1abf8288;hp=29ff024ae2dca40fa476a2b8ffa1f16b1abf8288;p=helm.git BU Conversion was not generated for Rels fixed. I wonder why... ---