changed the arrangement of buttons and added prime and space buttons
changed the look of the space symbol
fixed the space bar adding the last character clicked
Quantificational logic input canvas done
Quantificational logic input canvas done, added the files
Merge branch 'master' into QLogicButtons
Updated wffchecker error handling
Merge branch 'wffchecker-buttonpanel' of ssh://github.com/PeterDrake/Logic into QLogicButtons
removed commented out code and added class for testing TFButtonPanel and one for QButtonPanel
Merge branch 'master' into QLogicButtons