robot icon indicating copy to clipboard operation
robot copied to clipboard

Remove and filter operations new "drop_axiom_annotation" option

Open hkir-dev opened this issue 3 years ago • 0 comments

Resolves [#886]

  • [ ] docs/ have been added/updated
  • [ ] tests have been added/updated
  • [ ] mvn verify says all tests pass
  • [ ] mvn site says all JavaDocs correct
  • [ ] CHANGELOG.md has 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.

hkir-dev avatar Jul 06 '22 12:07 hkir-dev