]> matita.cs.unibo.it Git - helm.git/commit
removed some printings
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 16 Nov 2008 10:03:48 +0000 (10:03 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 16 Nov 2008 10:03:48 +0000 (10:03 +0000)
commit992c6ea9d35cbdf8e9d2ce870a1b3d8f7e099e7d
tree71c4248916960cf81bd4d30f8fa88b863a1e6085
parent3585c1963c95d33f98367018119bfd4b3c6b99b2
removed some printings
helm/software/components/tactics/auto.ml