-E and -I justification do not parse

[leovt]

you can enter negative propositions as -A and they are parsed into ¬A. However for justifications it does not parse the same way.

If there is an interest i could try and work on a patch, would likely take me more than 1 month due to other constraints and being unfamiliar with the code.

[frabjous]

This project is not in active development, and I'm not going to do any more work on it. For my successor see logicpenguin.