Protégé: all versions and old releases

This is Protégé 5.6.5, a point release of the Protégé ontology editor.
Changes from Protégé 5.6.4
- Process escape characters when searching for entities (fixes protegeproject/protege#1217).
- Fix saving equivalent objects in OWLCellRenderer (fixes protegeproject/protege#910).
- Improve render string escaping for backslash and double quotes.
- Sort data-/object-propertyAssertions in individual views (partially addresses protegeproject/protege#605).
- Make Show deprecated entities option persistent.
- Use system proxy settings when resolving identifiers.org IDs (fixes protegeproject/protege#1231).
Verifying the release archives
All release archives available below are signed with the maintainer’s personal OpenPGP key:
pub rsa4096 2014-03-14 [SC] 4FA2 0823 62FE 73AD 03B8 8830 A8DC 7067 E25F BABB
You can find that key at several locations, including:
- Right here on GitHub: https://github.com/gouttegd.gpg
- On the maintainer’s personal site: https://incenp.org/dgouttegattat.asc
- On the keys.openpgp.org key server: https://keys.openpgp.org/search?q=dgouttegattat%40incenp.org
- Using GnuPG’s --locate-keys command, with either the DANE or WKD mechanisms: gpg --auto-key-locate dane,wkd --locate-keys dgouttegattat@incenp.org

This is Protégé 5.6.4, a point release of the Protégé ontology editor.Changes from Protégé 5.6.3
- The OWLAPI used by Protégé has been updated to version 4.5.29.
- New setting to configure which explanation service(s) to use (protegeproject/protege#1059).
- Fix refreshing of the preferences dialog after preferences are reset (protegeproject/protege#168).
- Fix the Orphanet link extractor (protegeproject/protege#1192).
- Add option to ignore ID range policy files.
- Fix incompatibility between the ”support ID range policy files” and “Remember last ID between Protégé sessions” features (protegeproject/protege#1108).
- Fix Rio Turtle format updating (protegeproject/protege#1023).
- Bundled ELK reasoner plugin updated to version 0.6.0.
Verifying the release archives
All release archives available below are signed with the maintainer’s personal OpenPGP key:

pub rsa4096 2014-03-14 [SC] 4FA2 0823 62FE 73AD 03B8 8830 A8DC 7067 E25F BABB

You can find that key at several locations, including:- Right here on GitHub:
- On the maintainer’s personal site: https://incenp.org/dgouttegattat.asc
- On the keys.openpgp.org key server: https://keys.openpgp.org/search?q=dgouttegattat%40incenp.org
- Using GnuPG’s --locate-keys command, with either the DANE or WKD mechanisms: gpg --auto-key-locate dane,wkd --locate-keys dgouttegattat@incenp.org