v1.5.0
This release includes the new python
command, allowing ROBOT to be controlled from Python using Py4j.
Other new features include:
internal
/external
selectors forremove
/filter
(#570)- language selectors for
remove
/filter
(#574) tautologies
andstructural-tautologies
selectors forremove
/filter
(#579)- catalog options for right-side of
diff
(#584)
And there have been some minor bug fixes.