projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 18 Jun 2006 10:49:22 +0000 (10:49 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 18 Jun 2006 10:49:22 +0000 (10:49 +0000) | ||
| commit | cc518de60acdadf62a40d3ede8920f311aa03afc | |
| tree | 38a01c4c4d9b49c54b085e53d49ea923ddd5d6f5 | tree | snapshot |
| parent | 389b29d17694ba6abe79dfd36d862321e05d17d6 | commit | diff |
| helm/software/matita/tests/TPTP/log.300.26-5.menvcorti_VS_log.120.orsay.ods | diff | blob | history |