]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b93c448) | 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)
commit9383c23c96c95606a820631c9fb3a01a0815abf7
tree3f6b616106f294e5bf0a91b5913c5c3610102750tree | snapshot
parentb93c448d6ea4c9de27b221c72891ae0345eac30dcommit | diff
added some logs
helm/software/matita/tests/TPTP/log.300.26-5.menvcorti [new file with mode: 0644] blob
helm/software/matita/tests/TPTP/log.300.26-5.menvcorti.con_rating [new file with mode: 0644] blob
helm/software/matita/tests/TPTP/risultati_CASC_2005.txt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.