Thanks again, Hans. This works.
I don’t know whether it matters, but putting \startparagraph ..\stopparagraph
inside \startproof .. \stopproof also breaks the \qed
(with the curious side effect that some blanks disappear, sometimes).
More testing is on the way...
Matthias
> On Jul 13, 2025, at 1:54 PM, Hans Hagen via ntg-context <ntg-context@ntg.nl>
> wrote:
>
> On 7/13/2025 6:50 PM, Matthias Weber wrote:
>> Thanks to Hans for helping with the images.
>> I ran into various other issues. When using enumerations, sometimes part of
>> the text from a previous enumeration is repeated (usually math).
>> I've attached a minimal example at the end.
>
> Thanks for testing ... this is the qed, can you test with this at the top of
> the file? Btw, you don't need to load the mathml module.
>
> \unprotect \pushoverloadmode
>
> \protected\permanent\def\textmathematics#1%
> {\begingroup
> \ifmmode
> \currentmathblobnesting\minusone
> #1%
> \else
> \math_m_nop{#1}% \mathematics{#1}%
> \fi
> \endgroup}
>
> \popoverloadmode \protect
>
> i'll program it a bit nice later
>
> One think we need to look into is to disable some rendering that is
> interfering (read: makes us loose structure) but that's not the case here.
>
> Hans
>
> -----------------------------------------------------------------
> Hans Hagen | PRAGMA ADE
> Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
> tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl
> -----------------------------------------------------------------
> ___________________________________________________________________________________
> If your question is of interest to others as well, please add an entry to the
> Wiki!
>
> maillist : ntg-context@ntg.nl /
> https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl
> webpage : https://www.pragma-ade.nl / https://context.aanhet.net (mirror)
> archive : https://github.com/contextgarden/context
> wiki : https://wiki.contextgarden.net
> ___________________________________________________________________________________
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl /
https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl
webpage : https://www.pragma-ade.nl / https://context.aanhet.net (mirror)
archive : https://github.com/contextgarden/context
wiki : https://wiki.contextgarden.net
___________________________________________________________________________________
