]> matita.cs.unibo.it Git - helm.git/commit
Removed debug printings.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 8 Feb 2010 07:25:32 +0000 (07:25 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 8 Feb 2010 07:25:32 +0000 (07:25 +0000)
commit3a198e82376610d2bbca3a7aba9ea435271e4ee7
tree863037227e41d22bec2d1894e56236c74b7ad3d6
parente22808c929a9cebf5e4e2b7428ff0cbf89e1f92a
Removed debug printings.
helm/software/components/ng_tactics/nnAuto.ml