search

OpenMath / OMSTD

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

adding cdgroup and version attributes to CD and CDsignatures and version to CDGroup #63

Closed kohlhase closed 6 years ago

kohlhase commented 6 years ago

This pull request takes care of https://github.com/OpenMath/OMSTD/issues/46 and https://github.com/OpenMath/OMSTD/issues/34

kohlhase commented 6 years ago

I merged this, since I (by oversight) already made the changes to the cdgroups.

kohlhase commented 6 years ago

I guess we just need to critique the editor's draft now.