Skip to content

Resolve "Retain axioms in background knowledge beyond the debugging session life cycle"

Wolfgang Schmid requested to merge 109-retain-axioms-in-background-knowledge-beyond-the-debugging-session-life-cycle into master

Closes #109 (closed)

Edited by Wolfgang Schmid

Merge request reports