From: Claudio Sacerdoti Coen Date: Mon, 24 Jun 2002 15:17:48 +0000 (+0000) Subject: Bug fixed: empty elements did not ask for the size of their first following siblings... X-Git-Tag: V_0_3_0_debian_8~20 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=57d3a252086d34e56cbdff0693bd07f60dc5d887;p=helm.git Bug fixed: empty elements did not ask for the size of their first following siblings in the charcount mode. --- diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl index e7af0c854..4a801a654 100644 --- a/helm/style/mmlextension.xsl +++ b/helm/style/mmlextension.xsl @@ -2138,7 +2138,16 @@ which generates the toplevel element (see for instance xlink) --> - + + + + + + + + + +