]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1592969) | patch
removed spurious arrows from Matita
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Dec 2005 12:44:47 +0000 (12:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Dec 2005 12:44:47 +0000 (12:44 +0000)
commit00187e5a38cb2fac7c806f62cd7c3d2c85ddf9c2
tree218a301b61ec85b8ce682f647d99c3d08e5a59b0tree | snapshot
parent1592969317fd01e945bd3dacf775ed4f3144e020commit | diff
removed spurious arrows from Matita
helm/ocaml/daemons.dot diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.