]> matita.cs.unibo.it Git - helm.git/commit
mk_dep_graph reimplemented using the forward-pointers metadata.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 14:14:14 +0000 (14:14 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 14:14:14 +0000 (14:14 +0000)
commitd36db8a73d6e36a6b40da8cc4a29309f281894da
treec1047ea67a5d07443976808dad114ed13f4e2cc5
parentf6cd1be6111f40c2a4226ca87d737c4bfb3a321c
mk_dep_graph reimplemented using the forward-pointers metadata.
It is now almost a perfect copy of mk_meta_graph.xsl.
helm/style/mk_dep_graph.xsl