]> matita.cs.unibo.it Git - helm.git/commit
few bits to debug the benchmark system
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 29 Mar 2006 12:07:55 +0000 (12:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 29 Mar 2006 12:07:55 +0000 (12:07 +0000)
commitbaf08c7b03fd7251a342569a1b25cf7f5792b21e
treef885a44f28894bf032fee64835f3da7b2e25bbda
parente4f6fdd22ef7d02c7d34d5f44f4caf3fb360638f
few bits to debug the benchmark system
helm/software/matita/Makefile
helm/software/matita/template_makefile.in