]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Fri, 16 Jun 2006 09:03:24 +0000 (09:03 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Fri, 16 Jun 2006 09:03:24 +0000 (09:03 +0000) | ||
commit | 6c3adf6a75239adaec4ece3e91fe7efba83f69a3 | |
tree | 210ff7b43ba055107cedb6cd675ff9c6d807b89e | tree | snapshot |
parent | 16568f4cb52cc6b2acc747fe5aceeb4bfab11191 | commit | diff |
helm/software/matita/tests/TPTP/log.120.orsay.txt | [new file with mode: 0644] | blob |
helm/software/matita/tests/TPTP/log.300.26-5.menvcorti_VS_log.120.orsay.ods | [new file with mode: 0644] | blob |
helm/software/matita/tests/TPTP/try.sh | diff | blob | history |