From: Enrico Tassi 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;h=8e905c34eb47a3f5fa67afa7997576d57588a50f;hp=8e905c34eb47a3f5fa67afa7997576d57588a50f;p=helm.git auto works on the regular tactics status ---