From: Claudio Sacerdoti Coen Date: Thu, 18 Oct 2001 10:11:28 +0000 (+0000) Subject: mk_dep_graph.xsl now differentiates the constructors from the X-Git-Tag: v0_1_3~60 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=965067aacd2d18b090226792d785265b90c02017;p=helm.git mk_dep_graph.xsl now differentiates the constructors from the inductive types producing "extended" URIs (e.g. ".../nat.ind#xpointer(1/1/1)") --- diff --git a/helm/style/mk_dep_graph.xsl b/helm/style/mk_dep_graph.xsl index 86933883c..c5c063aec 100644 --- a/helm/style/mk_dep_graph.xsl +++ b/helm/style/mk_dep_graph.xsl @@ -150,6 +150,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + - + ->