Closed lex-lex closed 5 years ago
There should be a possibility to (temporarily) disable formulas/facts so that they are disregarded when invoking consistency check/queries ...
@shaolintl: Alright, enabling/disabling of facts is now implemented and uploaded to nai.uni.lu. You might have to force-reload (ctrl-r, to clear the browser cache) to see the update.
There should be a possibility to (temporarily) disable formulas/facts so that they are disregarded when invoking consistency check/queries ...