Move justifications to separate column on the right hand side, row numbers to left.

ubc-carnap-team / Rudolf

Truth Tree Widget for Carnap

2 stars 3 forks source link

Move justifications to separate column on the right hand side, row numbers to left. #55

Closed McTano closed 4 years ago

McTano commented 4 years ago

Currently, the justifications and rows both display on every node, even though that information is shared by all the nodes which start on the same row.

A better design would be to move the row numbers to the left and the justifications to the right, as they appear in most logic textbooks. Example from forall-x ubc edition.

example_tree_forallx

mbecker20 commented 4 years ago

Almost there. Just need to clean up some stuff.