projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 13 Dec 2005 16:06:42 +0000 (16:06 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 13 Dec 2005 16:06:42 +0000 (16:06 +0000) | ||
| commit | fcbe774670d9ecc18b301de34934392621284cd9 | |
| tree | db73a0f6dc71d8fe957a91c0c77d49ade42a3e3e | tree | snapshot |
| parent | 42716a6f74f98fcee65113efe4a51f02014058da | commit | diff |
| helm/matita/scripts/do_tests.sh | diff | blob | history |