]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4a027b) | patch
Benchmark fixed. It was broken by the change in the handling of
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 12 Jul 2005 10:10:17 +0000 (10:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 12 Jul 2005 10:10:17 +0000 (10:10 +0000)
commitd57649ce0a252a36213145912b7c59e9ef96dd36
treea1c247744f24675e2aaa61ee534bc38637bc659atree | snapshot
parentd4a027be22bc81d5dcb4d8dd39bd064aa61c1725commit | diff
Benchmark fixed. It was broken by the change in the handling of
matita.conf.xml*
helm/matita/scripts/profile_cvs.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.