Skip to content

Closes #56

  • Support of drag'n drop for the input ontology view where multiple axioms can be transferred between correct and possibly faulty axioms while no debugging session is running.

Closes #56 (closed)

Merge request reports