From 845ec24db2f3aba5d3a4a991f2604b5b87283119 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 16 Nov 2001 17:23:25 +0000 Subject: [PATCH] BUG FIXED: An maction with only one child does not have the same semantic of an mrow. E.g.: when I click to un-expand a node, the first enclosing maction is the one I am acting on. If it has only one child, nothing happens. So, if an maction with only one child is put inside an maction with two children, the inner one stops any possibility to unexpand the outer one. --- helm/style/mmlextension.xsl | 83 +++++++++++++++++++++---------------- 1 file changed, 48 insertions(+), 35 deletions(-) diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl index eb928b41f..6dce30b65 100644 --- a/helm/style/mmlextension.xsl +++ b/helm/style/mmlextension.xsl @@ -988,58 +988,71 @@ which generates the toplevel element (see for instance xlink) --> - - - + + + + + + + + We can prove + _ + + + _ + (explain) + + + + + + + + + - We can prove + + + + + + + + we proved _ - _ - (explain) + + _ + + + (hide details) + - - - - - - - - - - - - - - we proved - _ - - - - _ - - - (hide details) - - - - - - - + + + + + + + + + + + + -- 2.39.2