]> matita.cs.unibo.it Git - helm.git/commit
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)
commitae4ac93251c1a7178220d293a2a8ae9dc850fde3
tree369800297c76a5c9ca70fdc211e5dbb408c6b44d
parent68e83da0f741009b8fdcc89934a251eafabc9012
use the graphviz pretty printer to generate graphviz markup for the coercions graph
helm/software/components/library/coercGraph.ml
helm/software/components/library/coercGraph.mli