Deleted Eclipse preferences.
can input a formula and generate a truth table for it
added a wff checker for the formula input and an error field for if they input something that is not a wff.
merged master into the branch
add column buton now works, also a target formula is shown
Merge branch 'master' into TruthTableBuilder3
columns are now buttons that can either be T or F, also started to try and get the columns to be evaluated
added constants to QButtonPanel
unicode
added error field to buttonpanel, instead of in testButtons
finished merge from master
Merge branch 'wffchecker-future' into TruthTableBuilder3
fixed some things
added back two deleted files
Merge branch 'wffchecker-future' into TruthTableBuilder3
Added comment to remind us what to do next time
fixed some minor bugs
Merge branch 'TruthTableBuilder3' of ssh://github.com/PeterDrake/Logic into TruthTableBuilder3
Merge branch 'wffchecker-future' into TruthTableBuilder3
fixed small bug with target formula entry