Merge branch 'master' into wffchecker-buttonpanel

* master:
  Added TruthTableColumn.java
Error handling works! Using exceptions, proper error messages, etc
Renamed grammar file, fixed TestButton exception possibility
More minor updates
added highlighting of errors
More minor fixes
fixed some highlighting errors
Added other characters per Eddie's request
Merged Kekai's highlighter thing

* 'wffchecker-buttonpanel' of ssh://github.com/PeterDrake/Logic:
  added highlighting of errors
Renamed wff.g4 to Wff.g4
merging wffChecker-buttonPanel into master
Merged wffchecker-buttonpanel into master. Now with better error handling
Merge branch 'master' of ssh://github.com/PeterDrake/Logic

* 'master' of ssh://github.com/PeterDrake/Logic:
  Added other characters per Eddie's request
  More minor fixes
  added highlighting of errors
  More minor updates
  Renamed grammar file, fixed TestButton exception possibility
  Error handling works! Using exceptions, proper error messages, etc
added comments to list error messages
Fixed highlighting
Minor modifications to TFTestButton and WffChecker
Merge branch 'wffchecker-tflogic' of ssh://github.com/PeterDrake/Logic into wffchecker-tflogic

* 'wffchecker-tflogic' of ssh://github.com/PeterDrake/Logic:
  Fixed highlighting

Conflicts:
	src/edu/lclark/logic/TFTestButton.java
Merge branch 'wffchecker-buttonpanel' of ssh://github.com/PeterDrake/Logic into wffchecker-buttonpanel

Conflicts:
	src/edu/lclark/logic/WffCheckerErrorStrategy.java
Fixed QTestButton to be like TFTestButton
Slightly modified grammar files