]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d5dc75) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 30 May 2006 09:26:15 +0000 (09:26 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 30 May 2006 09:26:15 +0000 (09:26 +0000)
commit161370fe79c115665e53fbbcd677715fb5a62997
tree75ae2d02cf9381cc54d99f224c3d6a0db5b2f2c0tree | snapshot
parent0d5dc75385c26c4f2c2194e45336f86e5e6aa4e6commit | diff
...
matita/tests/TPTP/classify.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.