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.

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

rename "definition editor" into "term editor" #115

Closed
zhengj2007 opened this issue Jul 31, 2015 · 1 comment
Closed

rename "definition editor" into "term editor" #115

zhengj2007 opened this issue Jul 31, 2015 · 1 comment
Labels

Comments

@zhengj2007
Copy link
Contributor

From mcour...@gmail.com on June 30, 2011 16:53:13

see http://bit.ly/mMwwYG we
would like to propose to rename the property "definition editor" into
"term editor". We believe that (i) this would better reflect the fact
that the definition editor is the person editing the definition, but
also the label, example of usages etc (ii) this would still be inline
with the purpose of that annotation property, which is indicating a
point of contact/reference should any question about the term arise.

Original issue: http://code.google.com/p/information-artifact-ontology/issues/detail?id=115

@zhengj2007
Copy link
Contributor Author

From mcour...@gmail.com on July 07, 2011 15:49:40

Done rev 474

Status: Done

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant