User code in the .emacs file can interfere with PVS build operations (as it did for me initially), so I think it's better not to load the user's .emacs if possible.
This might also be related to Issue #92, in that it's to do with code external to PVS causing problems. I'm not familiar with the PVS installation process (so far I've only run PVS from the build directory), but maybe a "-q" is also appropriate in the install-sh script?
User code in the .emacs file can interfere with PVS build operations (as it did for me initially), so I think it's better not to load the user's .emacs if possible.
This might also be related to Issue #92, in that it's to do with code external to PVS causing problems. I'm not familiar with the PVS installation process (so far I've only run PVS from the build directory), but maybe a "-q" is also appropriate in the install-sh script?