projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 17 Jul 2006 07:45:10 +0000 (07:45 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 17 Jul 2006 07:45:10 +0000 (07:45 +0000) | ||
| commit | 96aa0e9ac8fe4a4a23748c0ef70bab362f457e0b | |
| tree | 11e08759023c80aa57d8bc3221a46a3666f54a2f | tree | snapshot |
| parent | 7265c36aa33c1368302f52607484129023afe862 | commit | diff |
| helm/software/matita/tests/TPTP/log.600.15-7.comedasvn_stampapesomassimoeqinprovanellog | [new file with mode: 0644] | blob |