Prooftool: Hovering over a binary connective now highlights the connective and the corresponding parentheses in red. I haven't figured out yet how to highlight entire subformulas.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2255 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Prooftool highlighting behavior changed: Mousing over a connective or parenthesis will now highlight the corresponding connective/paretheses. Note that so far this is only implemented on the level of formulas, not terms. Extending this behavior to terms seems to take a fair amount of refactoring.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2256 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
There was a rather serious error in the code for displaying expansion trees. My apologies.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2257 85d21ef8-add0-11de-ae77-5bfb9c5a3f34