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

problem with pvs



Hi,	
	I am using  pvs  and whenever I exit the pvs prover in the middle of a
proof by typing "quit" at the pvs prover command prompt, it gives a
message 
		"Error reading proof file" and prints the proof file name
"prooffilename.prfNIL" and exits. This overwrites the proof file with
only the existing partial proof and all other proofs in the same file is
lost.

Please help.
Thanks
Victoria