projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 16 Jun 2006 16:06:41 +0000 (16:06 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 16 Jun 2006 16:06:41 +0000 (16:06 +0000) | ||
| commit | 35f9a188ee0a2c1e28d350a3fe057ba16864cb76 | |
| tree | 8014a488770f951a8d41b6c7390700c5c2cb9427 | tree | snapshot |
| parent | 765e519a1c3326ba72315cf7942eea1330b25e4d | commit | diff |
| helm/software/matita/tests/TPTP/elenco_stack_overflow.txt | [new file with mode: 0644] | blob |