]> matita.cs.unibo.it Git - helm.git/commit
removed debug from the inteface
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Mar 2010 07:39:13 +0000 (07:39 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Mar 2010 07:39:13 +0000 (07:39 +0000)
commit36fae35c9cbbf8df389a3f34cd1ee6921b6029fd
tree3c134ee6b001aef3f1709012e138143d2f1edb47
parent8d6963c2cd6273fe60733ba3094e9567a17e5c51
removed debug from the inteface
helm/software/components/ng_tactics/nnAuto.mli