Contents

This is where all the UMLs of the UI are stored.

Classes/Packages

• Main UI
• Rules View UI
• Tree View UI
• Board View UI
• Look and Feel UI

Main UI

ProofEditor/RulesView UI

ProofEditor/TreeView UI

ProofEditor/ElementsView UI

BoardView UI

LookAndFeel UI

This diagram is a few inner packages all mashed together because it is easier to visualize like this