]> matita.cs.unibo.it Git - helm.git/commit
some work for auto
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Oct 2009 12:40:16 +0000 (12:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Oct 2009 12:40:16 +0000 (12:40 +0000)
commitf00757144b2cd7e6457fed55dbc1309d11a542dc
tree4b3899cc8482e4852d39ea92f662565a7076effc
parent659b5bdc713138a277c3b2adb71526536e1382e5
some work for auto
helm/software/components/ng_tactics/nAuto.ml
helm/software/components/ng_tactics/nAuto.mli
helm/software/components/ng_tactics/nTacStatus.ml
helm/software/components/ng_tactics/nTacStatus.mli