From: Claudio Sacerdoti Coen Date: Fri, 26 Oct 2001 12:14:14 +0000 (+0000) Subject: Some comments added. X-Git-Tag: v0_1_3~29 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0d480d2f35de9fcf86b5895c20ade420f77cbfca;p=helm.git Some comments added. --- diff --git a/helm/style/mk_dep_graph.xsl b/helm/style/mk_dep_graph.xsl index 4289996ce..14b8e354b 100644 --- a/helm/style/mk_dep_graph.xsl +++ b/helm/style/mk_dep_graph.xsl @@ -26,6 +26,10 @@ + + + + diff --git a/helm/style/mk_meta_graph.xsl b/helm/style/mk_meta_graph.xsl index 16840046e..4ed50c728 100644 --- a/helm/style/mk_meta_graph.xsl +++ b/helm/style/mk_meta_graph.xsl @@ -26,6 +26,10 @@ + + + +