]> matita.cs.unibo.it Git - helm.git/commit - helm/style/mk_dep_graph.xsl
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d36db8a) | patch
mk_meta_graph.xsl and mk_dep_graph.xsl factorised using
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 15:15:19 +0000 (15:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 15:15:19 +0000 (15:15 +0000)
commit90777831624ec55c4b68bdb0a7206ef407ba7da3
treed5c7e4132d02babdf1b8e96739d33dbfcbda7fbbtree | snapshot
parentd36db8a73d6e36a6b40da8cc4a29309f281894dacommit | diff
mk_meta_graph.xsl and mk_dep_graph.xsl factorised using
mk_meta_and_dep_graph.xsl.
helm/style/mk_dep_graph.xsl diff | blob | history
helm/style/mk_meta_and_dep_graph.xsl [new file with mode: 0644] blob
helm/style/mk_meta_graph.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.