Closed davidcarlisle closed 6 years ago
OK, then this issue is already fixed. Thanks for noticing.
Not sure why this got closed, I was commenting on text that was added at 2.0r1
sorry, I misread this.
So you are sugesting that we drop the "copied" rhethoric?
yes we say we copied "meaningless text" from another spec which reads a bit odd, and to make it worse, the text in question originated in the openmath spec!
anyway so I thought I'd complain (although whether I'm the offender or the offended depends which hat I'm wearing:-)
On 6 October 2017 at 08:45, Michael Kohlhase notifications@github.com wrote:
sorry, I misread this.
So you are sugesting that we drop the "copied" rhethoric?
— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub https://github.com/OpenMath/OMSTD/issues/49#issuecomment-334683444, or mute the thread https://github.com/notifications/unsubscribe-auth/ABNcAua0wnqgocXU-ADfQcuIRujogQ8Iks5spdq3gaJpZM4Ps5bw .
whatever the hat is you are wearing, you are probably uniquely suited to patch up the situation for OM2r2.
2.0r1 adds a note saying that the wording
from lowest to highest bits using a least significant byte ordering
is copied from MathML, but essentially the same wording was in the om 1 spec
https://openmath.github.io/standard/om10/omstd.pdf