Auto-scrolling to the reduced cut in prooftool works now.
For easier testing, I added a new item to "Tests": cutIntro(LinearExampleProof(4)). For this, I added two new dependencies to Prooftool's POM. Feel free to remove it again if it causes too much compilation time.

You can try it as follows: In Prooftool, choose "Tests -> cutIntro(LinearExampleProof(4))". There is a cut at the bottom of this proof. Right-click its conclusion sequent and choose "Apply Gentzen's method (new)". This one-step reduces the cut, loads the new proof, and scrolls to the subproof that was reduced.


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