Basic Rules are unclear; need more description in hover-text
Closed this issue · 0 comments
Bram28 commented
SOLVED: Modified newgui/BasicRulePanel.java,
newgui/CasePanel.java,
newgui/ContradictionPanel.java
newgui/JustificationFrame.java
(Does this mean we can close this issue?)