From: Claudio Sacerdoti Coen Date: Mon, 5 Nov 2001 08:56:25 +0000 (+0000) Subject: Small bug fixed: X-Git-Tag: v0_1_3~22 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3d585511751044f308125da7a71d70e29cc6ca60;p=helm.git Small bug fixed: * xsl-import not first instruction * $id ==> @id --- diff --git a/helm/style/mk_dep_graph.xsl b/helm/style/mk_dep_graph.xsl index 14b8e354b..d06bc2fb8 100644 --- a/helm/style/mk_dep_graph.xsl +++ b/helm/style/mk_dep_graph.xsl @@ -30,9 +30,9 @@ + + - - diff --git a/helm/style/mk_meta_graph.xsl b/helm/style/mk_meta_graph.xsl index 4ed50c728..b4e784549 100644 --- a/helm/style/mk_meta_graph.xsl +++ b/helm/style/mk_meta_graph.xsl @@ -30,9 +30,9 @@ + + - - diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl index d0c8555b3..049398f9a 100644 --- a/helm/style/mmlextension.xsl +++ b/helm/style/mmlextension.xsl @@ -1536,8 +1536,8 @@ which generates the toplevel element (see for instance xlink) --> [ - - + + ] @@ -1546,8 +1546,8 @@ which generates the toplevel element (see for instance xlink) --> - - + + @@ -1561,8 +1561,8 @@ which generates the toplevel element (see for instance xlink) --> - - + + @@ -1578,8 +1578,8 @@ which generates the toplevel element (see for instance xlink) --> - - + + β @@ -1590,8 +1590,8 @@ which generates the toplevel element (see for instance xlink) --> - - + + β * @@ -1603,8 +1603,8 @@ which generates the toplevel element (see for instance xlink) --> - - + + β @@ -1615,8 +1615,8 @@ which generates the toplevel element (see for instance xlink) --> - - + + β * @@ -1626,8 +1626,8 @@ which generates the toplevel element (see for instance xlink) --> - - + + @@ -1636,16 +1636,16 @@ which generates the toplevel element (see for instance xlink) --> - - + + - - + +