]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7362b0a) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 17 Apr 2007 08:22:49 +0000 (08:22 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 17 Apr 2007 08:22:49 +0000 (08:22 +0000)
commit0b624037994f740c1641ed6890dcadc49207ff13
tree3b746359bf99ff9dbb8016abfa502608aa7cb10atree | snapshot
parent7362b0a510580edeb6bf0b5823316bbe82959faacommit | diff
...
helm/software/matita/tests/TPTP/hne_problems.txt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.