]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2066e0e) | patch
No more benches without gc.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Oct 2006 11:49:19 +0000 (11:49 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Oct 2006 11:49:19 +0000 (11:49 +0000)
commit21d1796818554923378d0feb3eec1df907b41580
treebeb827329492f95244693722fb5a10b5b3b3a8catree | snapshot
parent2066e0e9fcd678b61fcf7911ea3976344d5a85abcommit | diff
No more benches without gc.
matita/scripts/profile_svn.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.