]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a742390) | patch
added some logs
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 29 May 2006 20:44:57 +0000 (20:44 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 29 May 2006 20:44:57 +0000 (20:44 +0000)
commit2d18e445ab3f9f24787667e8d8ee562bd1cb64bc
tree1dd222a2fd9860e058ad051ed02bc8828c100ccbtree | snapshot
parenta7423900fb9e153daa0770b8355498875cf3e8e2commit | diff
added some logs
matita/tests/TPTP/log.300.26-5.menvcorti [new file with mode: 0644] blob
matita/tests/TPTP/log.300.26-5.menvcorti.con_rating [new file with mode: 0644] blob
matita/tests/TPTP/risultati_CASC_2005.txt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.