Parser works for Tape Proof schema. Problems loading in prooftool still...


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1744 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
I hope I did not do something wrong. I just wanted to add TapeProofNew.lks


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1745 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Deleted target directory inadvertently added by David.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1746 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Put the LKS file TapeProofNew.lks in the correct location


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1748 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Updated tape proof LKS file as well as minor changes to parser


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1749 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Fixed verit parsing. Only 2 proofs are not parsed now, one with timeout and another with stackoverflow.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1750 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
TapeProofNew.lks is pretty finished. Parser for the proof has been finished.



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