]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d72bea0) | patch
use the new graphviz pretty printer API
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jul 2006 14:28:13 +0000 (14:28 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jul 2006 14:28:13 +0000 (14:28 +0000)
commit5c21228da6a5c6e09789788ae82b3c3317cd6149
tree33de69689f81dc4befb25d0c4524824d7f7b8c5ctree | snapshot
parentd72bea0d636ae8d770bd292c85bb4f92cee4c835commit | diff
use the new graphviz pretty printer API
helm/software/components/library/coercGraph.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.