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

[PVS-Help] show proofs



Hello, 
every one

When the command "show-proofs-pvs-file " is issued,  
 PVS give the error message "SPC-scroll, I-Igore.... B-break:" in the  min buffer and  the hints  "Error:  No methods applicable for generic function" in some buffer.

 the other simliar command such as  "show-proofs-theory" give me the same error.

Note: 1) Both PVS 5.0 and PVS 4.2 have the same  symptom.
         2) PVS is running in the Ubuntu 10.10 under the the VMware workstation 7.0.1.  
        2) my emacs' version is  23.1.1. 
  
Thanks for your help!

2011-06-19 
Q.G., XU