]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae47205) | 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)
commit9809371a52b90f005b0a393586c0d847bc26b92a
treefb23f0c906e4b037bfbea32862331f945c9af9a4tree | snapshot
parentae47205236492ae4271586cdf75a25597304da1ecommit | diff
...
12 files changed:
matita/tests/TPTP/compare.ods diff | blob | history
matita/tests/TPTP/elenco_CASC.txt [new file with mode: 0644] blob
matita/tests/TPTP/elenco_problemi_rating0_ancora_da_risolvere.txt [new file with mode: 0644] blob
matita/tests/TPTP/log.300.19-6.txt [new file with mode: 0644] blob
matita/tests/TPTP/log.300.27-6.fixprove.fixsimpl-infergoal [new file with mode: 0644] blob
matita/tests/TPTP/log.300.30-6.fixdemodgoalinpassive [new file with mode: 0644] blob
matita/tests/TPTP/log.600.30-6.weghtNOTlookingatgoalsymbols [new file with mode: 0644] blob
matita/tests/TPTP/log.600.30-6.weghtlookingatgoalsymbols.txt [new file with mode: 0644] blob
matita/tests/TPTP/merge_sorted_logs.awk [new file with mode: 0644] blob
matita/tests/TPTP/prova_LAT145_rating_93.tar.gz [new file with mode: 0644] blob
matita/tests/TPTP/simulate_casc.sh [new file with mode: 0755] blob
matita/tests/TPTP/try.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.