]> matita.cs.unibo.it Git - helm.git/commit
auto works on the regular tactics status
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 7 Oct 2009 13:35:37 +0000 (13:35 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 7 Oct 2009 13:35:37 +0000 (13:35 +0000)
commit8e905c34eb47a3f5fa67afa7997576d57588a50f
treee4649b709362edda6900758082b4c1b99147b5e6
parentadffbc39d6c144eb159d0003b877b016055ec325
auto works on the regular tactics status
helm/software/components/ng_tactics/nAuto.ml
helm/software/components/ng_tactics/nAuto.mli