added map_proof, we have now two methods for computing the acnf for first-order proofs with equality (CERES and CERESR2LK) which at least work on the tape proof (added to the integration test)

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2229 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
refactored interfaces to ceres

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2234 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
In Prooftool, when displaying an expansion sequent you can now right-click on the "Antecedent" and "Succedent" labels to bring up the same context menu as for individual trees. Only "close" is implemented right now.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2241 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
some refactoring in skolemization broke the build

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2242 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
The context menu for "Antecedent" and "Succedent" in Prooftool now supports Close, Open and Expand. What I haven't figured out yet is how to get the labels to change color when you mouse over them.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2243 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Removing some warnings and deleting unused package from utils.

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