]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6cd1be) | patch
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
treec1047ea67a5d07443976808dad114ed13f4e2cc5tree | snapshot
parentf6cd1be6111f40c2a4226ca87d737c4bfb3a321ccommit | diff
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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.