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

Rename Instances views (both asserted and inferred) to "Direct instances" and "Inferred Direct Instances" to make the UI clearer #829

Closed

matthewhorridge opened this issue Jan 15, 2019 · 0 comments

Assignees

Labels

Type: Enhancement

Milestone

Protégé 5.5.0

Contributor

matthewhorridge commented Jan 15, 2019

No description provided.

matthewhorridge added the Type: Enhancement label

matthewhorridge added this to the Protégé 5.5.0 milestone

matthewhorridge assigned csnyulas

rsgoncalves pinned this issue

rsgoncalves unpinned this issue

csnyulas closed this as completed in

9a228fe

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment