]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4bc69df) | patch
use the graphviz pretty printer to generate graphviz markup for the coercions graph
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 13 Jul 2006 09:39:51 +0000 (09:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 13 Jul 2006 09:39:51 +0000 (09:39 +0000)
commit619389e0395c49045cd5e1eb97099fb2c87b139d
tree77ecd41f0065d7834b2a44f2c66b0bcffdbd8fd1tree | snapshot
parent4bc69df9d97954207ebb2df142b927676a026e45commit | diff
use the graphviz pretty printer to generate graphviz markup for the coercions graph
components/library/coercGraph.ml diff | blob | history
components/library/coercGraph.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.