OpenMath / OMSTD

The OpenMath Standard (starting with OpenMath 2)
9 stars 5 forks source link

CDGroups #61

Closed kohlhase closed 7 years ago

kohlhase commented 7 years ago

This pull request will collect the fixes for #45, #57, #59, and #60

davidcarlisle commented 7 years ago

you need to allow the cdgroupinclude somewhere presumably

(CDGroupInclude | CDGroupMember | CDComment)*

kohlhase commented 7 years ago

indeed how silly of me!