]> matita.cs.unibo.it Git - helm.git/commit
added again stuff for profiling
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 23 May 2006 08:07:25 +0000 (08:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 23 May 2006 08:07:25 +0000 (08:07 +0000)
commit566c51bf68e4b5ab316aba8b002180853c460eb9
tree0793c59be73df45dd0f0e20cf1ba4e5fc94fa3d6
parentcea4ef1fe7f5134b3345b26d2baf2b6e364afe3b
added again stuff for profiling
components/tactics/Makefile