]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe438bc) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 3 Jul 2006 12:26:10 +0000 (12:26 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 3 Jul 2006 12:26:10 +0000 (12:26 +0000)
commita7fedddb5ee0b026648a52d228f5fca0a590a7d0
tree95eaf647b30458180c061af655eab0d780e66813tree | snapshot
parentfe438bca2111e4aa8b5fbc83e2e2cb896679f580commit | diff
...
12 files changed:
helm/software/matita/tests/TPTP/compare.ods diff | blob | history
helm/software/matita/tests/TPTP/elenco_CASC.txt [new file with mode: 0644] blob
helm/software/matita/tests/TPTP/elenco_problemi_rating0_ancora_da_risolvere.txt [new file with mode: 0644] blob
helm/software/matita/tests/TPTP/log.300.19-6.txt [new file with mode: 0644] blob
helm/software/matita/tests/TPTP/log.300.27-6.fixprove.fixsimpl-infergoal [new file with mode: 0644] blob
helm/software/matita/tests/TPTP/log.300.30-6.fixdemodgoalinpassive [new file with mode: 0644] blob
helm/software/matita/tests/TPTP/log.600.30-6.weghtNOTlookingatgoalsymbols [new file with mode: 0644] blob
helm/software/matita/tests/TPTP/log.600.30-6.weghtlookingatgoalsymbols.txt [new file with mode: 0644] blob
helm/software/matita/tests/TPTP/merge_sorted_logs.awk [new file with mode: 0644] blob
helm/software/matita/tests/TPTP/prova_LAT145_rating_93.tar.gz [new file with mode: 0644] blob
helm/software/matita/tests/TPTP/simulate_casc.sh [new file with mode: 0755] blob
helm/software/matita/tests/TPTP/try.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.