From: Claudio Sacerdoti Coen Date: Tue, 10 Dec 2002 18:49:15 +0000 (+0000) Subject: "Rewrite ... with ... by ..." line-breaking handled. X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5c85cc18dfa4133e5e0a50eaecd938aae60acb49;p=helm.git "Rewrite ... with ... by ..." line-breaking handled. --- diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl index 377980f3f..86d026562 100644 --- a/helm/style/mmlextension.xsl +++ b/helm/style/mmlextension.xsl @@ -1537,23 +1537,112 @@ which generates the toplevel element (see for instance xlink) --> - - - - Rewrite - _ - - _ - with - _ - - _ - by - _ - - - - + + + + + + + + + + + + + + + + + Rewrite + _ + + + + + + + + + + with + _ + + + + + + + + by + _ + + + + + + + + + + with + _ + + _ + by + _ + + + + + + + + + + + + Rewrite + _ + + _ + with + _ + + + + + + + + by + _ + + + + + + + + + + Rewrite + _ + + _ + with + _ + + _ + by + _ + + + + + + + + + + + + + + + + + + + + + + + +