robot
robot copied to clipboard
Remove and filter operations new "drop_axiom_annotation" option
Resolves [#886]
- [ ]
docs/have been added/updated - [ ] tests have been added/updated
- [ ]
mvn verifysays all tests pass - [ ]
mvn sitesays all JavaDocs correct - [ ]
CHANGELOG.mdhas been updated
New parameter drop_axiom_annotation added to remove and filter operations. An annotation property is provided to this option to drop/remove all axiom annotations using the property.