[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

problem with a proof file


My PVS has problem with reading a particular .prf file.  The proof file
is 72K and it contains all the proofs, but PVS can not retrieve the
proofs from it.  As soon as I hit x-show-proof, x-step-proof or commands
like these it destroys the file.  I have no idea what the problem could


Borzoo Bonakdarpour
Graduate Research Assistant
Department of Computer Science & Engineering
3115 Engineering Building
Michigan State University
East Lansing, MI 48824
Tel: (517)353-4836
Email: borzoo@cse.msu.edu
URL: http://www.cse.msu.edu/~borzoo