This PR both updates the repository to ODK 1.4 and updates the -edit file to the new serialisation format imposed by OWL API 4.5.25 in Protégé 5.6.1.
Once this PR has been merged, no editor should modify the -edit file with Protégé < 5.6!
The ODK migration involves a simplification of the release process. The pre_release target is no longer necessary, as we instead use the EDIT_PREPROCESSED hook provided by the ODK.
This PR both updates the repository to ODK 1.4 and updates the -edit file to the new serialisation format imposed by OWL API 4.5.25 in Protégé 5.6.1.
Once this PR has been merged, no editor should modify the -edit file with Protégé < 5.6!
The ODK migration involves a simplification of the release process. The pre_release target is no longer necessary, as we instead use the EDIT_PREPROCESSED hook provided by the ODK.