]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 50844b0) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 19 Jun 2006 08:11:59 +0000 (08:11 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 19 Jun 2006 08:11:59 +0000 (08:11 +0000)
commitbd1b46f317b1d3bb7d5f95c2123e945b37d001cc
tree5f3c74a1e7102808fb2dbb2a5e4c9171b6f2a7f9tree | snapshot
parent50844b0116c863862434c7c673c5caaf6ff78cdfcommit | diff
...
helm/software/matita/tests/TPTP/elenco_stack_overflow.txt [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.