]> matita.cs.unibo.it Git - helm.git/commit
added stuff for profiling macros
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 23 May 2006 08:03:18 +0000 (08:03 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 23 May 2006 08:03:18 +0000 (08:03 +0000)
commiteba67a7f8b8f479ff60226d2d8c935c60277f8e6
treeb783d49796e1b8b24dc3b46e7dd3a272bb317553
parent356f9fafa095801f1be70ff495f0977ce96ed6bc
added stuff for profiling macros
components/tactics/Makefile