]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 195cfbf) | patch
New argument: the cleaner.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 16:27:37 +0000 (16:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 16:27:37 +0000 (16:27 +0000)
commit42dfdfded0aaf2d87dd71031c44682fd332bf5f9
tree63e88bd1dcefcd3fec3aca96a957e2c850774f9ftree | snapshot
parent195cfbf96b97814d11245d1936456b80d1886d8fcommit | diff
New argument: the cleaner.
helm/matita/scripts/do_tests.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.