]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebc063e) | patch
now maketests uses matitaclean (but not in the right way)
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 1 Jul 2005 14:55:19 +0000 (14:55 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 1 Jul 2005 14:55:19 +0000 (14:55 +0000)
commit214e1cb977f880a0790465ff81dcea7c9f74d7d2
treeccc8562d32920747ea624cbb4de7094e85870c50tree | snapshot
parentebc063e65d908c9f35619c92454dbbe76bdabd40commit | diff
now maketests uses matitaclean (but not in the right way)
tests are made in the stupid order, not in the needed one
helm/matita/scripts/do_tests.sh diff | blob | history
helm/matita/scripts/profile_cvs.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.