projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 29 Sep 2006 12:23:23 +0000 (12:23 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 29 Sep 2006 12:23:23 +0000 (12:23 +0000) | ||
| commit | b0daa126ae00c5e484a0f839615c33270277f5a7 | |
| tree | f2f7ba8d162cc3daffd851bc1f3eca21c46186c1 | tree | snapshot |
| parent | 2528d5a1b74beb1ec4bebe4c34dcf557d57a9d86 | commit | diff |
| helm/software/matita/tests/TPTP/elenco_problemi_veloci_per_test.txt | diff | blob | history |