[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] Where is the .pvsemacs file?
The .pvsemacs file is similar to the .emacs file - it resides in your home
directory. There isn't one by default; it is only required if some PVS
Emacs behavior needs adjusting, as PVS loads first your ~/.emacs, then the
PVS emacs files, and lastly your ~/.pvsemacs file. As with the .emacs
file, there is no global .pvsemacs file.
Hope this helps,
Kun Wei <firstname.lastname@example.org> wrote:
> 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!