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

[PVS-Help] Where is the .pvsemacs file?


I need to edit the .pvsemacs file as the requirement of a tool which is 
based on the PVS. However, I can't find it anyway. Please tell me the 
path of the file if anyone knows. Many many thanks!