Press Enter to create a new sibling node.

Press Ctrl-Enter to create a new parent node.

Press Ctrl-Shift-Enter to create a new child node.

Cycle nodes with Tab and Shift-Tab.

Undo and Redo changes with Ctrl-Z and Ctrl-Shift-Z.

Delete subtrees with Ctrl-Backspace.

Cut, Copy, and Paste subtrees with Shift-Ctrl-X, Shift-Ctrl-C and Shift-Ctrl-V

Mouse over rule labels for annotations, including errors and calculated sequents for the Gentzen-Prawitz tree.