From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 12 Jan 2006 11:10:23 +0000 (+0000)
Subject: coq.moo.opt dependency added to the target tests.opt
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=4622c744ca883d0a2a308d5ec5f3f280a039af64;hp=4622c744ca883d0a2a308d5ec5f3f280a039af64;p=helm.git

coq.moo.opt dependency added to the target tests.opt
---