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
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
enter key now submits the formula
merging wffChecker-buttonPanel into master