Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[SEP] Add Notation Definitions to OpenMath #144

Closed
jbs1 opened this issue Jul 6, 2016 · 1 comment
Closed

[SEP] Add Notation Definitions to OpenMath #144

jbs1 opened this issue Jul 6, 2016 · 1 comment
Assignees
@jbs1

Comments

@jbs1
Copy link

jbs1 commented Jul 6, 2016

migrated from Trac, where originally posted by kohlhase on 23-Sep-2013 8:27am

OMDoc has a notion notation definitions, which works rather well. We should have something like that for OpenMath. I propose to adopt them for OpenMath Content Dictionaries.
@jbs1 jbs1 self-assigned this Jul 6, 2016
@jbs1 jbs1 mentioned this issue Jul 6, 2016
Closed
@kohlhase
Copy link
Member

kohlhase commented Oct 2, 2017

moved to OpenMath/OMSTD#19

@kohlhase kohlhase closed this as completed Oct 2, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jbs1 jbs1

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@kohlhase @jbs1