You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The documentation for setting up Mondo in Protege is really excellent.
However, it seems like the new Protege version (5.5) is now doing the id-ranges automatically and so part of the documentation needs to be revided - https://mondo.readthedocs.io/en/latest/editors-guide/a-protege-setup/
Set up Docker¶
Check back soon. -- would be nice to address this
The text was updated successfully, but these errors were encountered:
The new version looks at the ID range file and matches your user name in Protege to the names in the file to automatically set up your ID range. Thus as long as this information matches you no longer need to set the ID range. You will get a message if your user name does not match one in the file asking you to pick an ID range.
The documentation for setting up Mondo in Protege is really excellent.
However, it seems like the new Protege version (5.5) is now doing the id-ranges automatically and so part of the documentation needs to be revided -
https://mondo.readthedocs.io/en/latest/editors-guide/a-protege-setup/
Check back soon. -- would be nice to address this
The text was updated successfully, but these errors were encountered: