[Om3] [project-jomdoc] Real-time ntn rendering in the MathML editor Gemse

[Christoph LANGE]

Hi Urs,

[crossposting OpenMath 3, as the OpenMath 3 *.ntn files were affected]

2010-01-31 20:31 Urs Holzer <urs at andonyar.com>:
> I found the source of all those bracket problems. Its neither Gemse's
> nor JOMDoc's fault. Its the notation definitions bundled with JOMDoc.
> They include those fences:
> 
> ...
>         <m:mo mcd:egroup="fence" fence="true">(</m:mo>
>         <iterate name="args" precedence="700">
>           <separator><m:mo mcd:cr="fun">≡</m:mo></separator>
>           <render name="arg"/>
>         </iterate>
>         <m:mo mcd:egroup="fence" fence="true">(</m:mo>
> 
> And many more similar notations.
> 
> The mistakes are also present in
> http://svn.openmath.org/OpenMath3/cd/MathML/logic1.ntn

thanks for spotting these – I hope I have now fixed all of them.  The
multiset1 and set1 CDs were also affected.

@JOMDoc developers:  Please deploy a new bleeding edge that includes this fix.

Cheers,

Christoph

-- 
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part.
Url : http://openmath.org/pipermail/om3/attachments/20100201/c63c695e/attachment.pgp