Merged wffchecker-buttonpanel into master. Now with better error handling
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
Merge branch 'wffchecker-buttonpanel' into wffchecker-tflogic

* wffchecker-buttonpanel:

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

* 'wffchecker-buttonpanel' of ssh://github.com/PeterDrake/Logic:
  added comments to list error messages
  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 current Wff.g4
Merge branch 'wffchecker-buttonpanel' into wffchecker-tflogic

* wffchecker-buttonpanel:
  Added current Wff.g4
  added comments to list error messages
Commented out WIP error messages
altered hilit functionality
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