Rules popup list completed for top tree only
Rules popup list compeleted for bottom tree too
Redo functionality in place for top tree
Redo functionality in place for bottom tree
Completion toast
Fixed truth tables bug
Centered equivalences and fixed cycles toast
Fixed undo/redo/line bug