]> 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)
commitd9c23022bf02fce53fbb83991bad90ef6ea262eb
tree574c6bd0896ec31be459e4dc75c4bbef208f75f4
parent942023d1f147318b7869f40fb1556c2d69f3d731
added stuff for profiling macros
helm/software/components/tactics/Makefile