github ontodev/robot v1.5.0

latest releases: v1.9.5, v1.9.4, v1.9.3...
4 years ago

This release includes the new python command, allowing ROBOT to be controlled from Python using Py4j.

Other new features include:

  • internal/external selectors for remove/filter (#570)
  • language selectors for remove/filter (#574)
  • tautologies and structural-tautologies selectors for remove/filter(#579)
  • catalog options for right-side of diff (#584)

And there have been some minor bug fixes.

Don't miss a new robot release

NewReleases is sending notifications on new releases.