]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b045623) | patch
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 28 Jun 2006 10:28:13 +0000 (10:28 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 28 Jun 2006 10:28:13 +0000 (10:28 +0000)
commit818e4b4f4812ddb42a4647a205e4d14c0793b6aa
treeb86205195674826420437efc6a34b58627a4ad16tree | snapshot
parentb045623a30fbaa3efb5fc0afa5762ada997201f4commit | diff
fix
helm/software/matita/tests/TPTP/try.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.