]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38cd254) | patch
A -> Univ
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 30 May 2006 09:19:14 +0000 (09:19 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 30 May 2006 09:19:14 +0000 (09:19 +0000)
commit0d5dc75385c26c4f2c2194e45336f86e5e6aa4e6
tree628f365f346ef29aa6cf0858d3de1bcb02a1ed30tree | snapshot
parent38cd254c533f37e91677571dabd7587b7dc7dd28commit | diff
A -> Univ
components/binaries/tptp2grafite/main.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.