]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba6b5ca) | 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)
commit4e11da87e0a9b056bf648616606235e579d9ae24
treedf0cffa69061139322db9cb2b4b31216f51796dctree | snapshot
parentba6b5ca0dfc2e49ac2dbb1b49c29a87844a34f76commit | diff
...
matita/tests/TPTP/elenco_stack_overflow.txt [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.