]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1118162) | patch
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
tree3d41827dc51402c777597da408ee385db66eb6d6tree | snapshot
parent1118162fa2c7b4dc860da0c3aa434bd2a1631855commit | diff
removed some printings
helm/software/components/tactics/metadataQuery.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.