From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 7 Oct 2009 13:35:37 +0000 (+0000)
Subject: auto works on the regular tactics status
X-Git-Tag: make_still_working~3358
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=8e905c34eb47a3f5fa67afa7997576d57588a50f;hp=8e905c34eb47a3f5fa67afa7997576d57588a50f;p=helm.git

auto works on the regular tactics status
---