]> matita.cs.unibo.it Git - helm.git/commit
removed some printings
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 16 Nov 2008 10:08:58 +0000 (10:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 16 Nov 2008 10:08:58 +0000 (10:08 +0000)
commit456ea05ac26bf48e4cdc0d745a92de0d14b3ff80
tree3d41827dc51402c777597da408ee385db66eb6d6
parent1118162fa2c7b4dc860da0c3aa434bd2a1631855
removed some printings
helm/software/components/tactics/metadataQuery.ml