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


I have tried to install PVS 2.3 on a SUN Ultra 60.
The Xemacs version already installed on the SUN is Xemacs 21.1

The PVS installation didn't give any problem. However, if I try to
run PVS, the "Loading pvs-load..." phase never finishes.
The PVS Log Buffer contains the message
LOG: Started loading Emacs files.

What could be the problem?

Thank you in advance.
Elvinia Riccobene