Added method to GWTInvariants to return a unicode
representation of the invariant's transition type
("AFby" => "->", "NFby" => "-/->", "AP" => "<-")
Added remaining unicode symbols for "NCwith" and "ACwith" invariants
Changed getUnicodeTransitionType to return a comma when the
transition type is unknown.
Updated comments. Added unicode labels to the Invariant tab's table labels.
Made static method in GWTInvariant class for exporting unicode symbols based
on transition types (for removing redundancy in InvariantsTab.java) created by earlier
commit.
Merged in closed Issue109 branch.
Merged in closed Issue117 branch.
Merged in default
Commiting to change branches
Commiting again so I can switch to default
Graphic wrappers are written, need testing. Still need to integrate them into InvariantsGraph
The graph is getting drawn, but there are JSNI issues with the way I have implemented highlighting
Fixed issue (hopefully).  New weights are drawn on edges and old weights are hidden.
Stuck on highlighting
Completed Issue110
Merged in Issue110 into default branch
Merged Issue117 branch into default
fixed the blockign highlighting issue
Commented code, remved erroneous code, and renamed some variables to be more precise/meaningful
Commented code, removed erroneous code, and renamed some variables to be more precise/meaningful