Update omstd20.xml - Githubissues

OpenMath / OMSTD

The OpenMath Standard (starting with OpenMath 2)

9 stars 5 forks source link

Closed lars-hellstrom closed 5 years ago

lars-hellstrom commented 5 years ago

Clarification that foreign objects are in principle always specific to one OM encoding, as discussed on today's OM business meeting. Not tested.

kohlhase commented 5 years ago

This looks good to me. Merging