[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS-Help] problem encountered when running PVS 5.0 on Mac air
I installed PVS 5.0 on my mac air (file named MacOSX Intel 64bit from
the PVS website). However, when I try to execute the command "./pvs",
i received the following error message: emacs: standard input is not a
tty. I searched the email archive from the PVS website, although no
information was found.
Could you kindly enlighten me how to solve the problem? Do I need to
install another emacs?
For your information, I am using the emacs pre-installed with the OSX
(version 10.6.8). The information of the emacs version is: GNU Emacs
Thank you for your time and look forward to your reply.