]> matita.cs.unibo.it Git - helm.git/commit
please, commit files with debug=false otherwise the distributed matita prints a ton...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 8 Nov 2007 12:33:11 +0000 (12:33 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 8 Nov 2007 12:33:11 +0000 (12:33 +0000)
commit34d2f477be65e3fd26bfb6d43a3dd0807274549b
tree02e381d3aa6269ef9bf3919b7c5c969ed528dcc1
parente458675a224b333b5e580434de927835584920b7
please, commit files with debug=false otherwise the distributed matita prints a ton of dust
helm/software/components/tactics/destructTactic.ml