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

installation problem



Hi,

I have installed PVS on Solaris, but when I run it I get these messages.
I had never seen them in previous installations on either Solaris or
Linux.  Please help.

Thanks,
Borzoo


Signaling: (wrong-type-argument listp turn-on-auto-fill)
  member(turn-on-auto-fill turn-on-auto-fill)
  sit-for(0)
  comint-update-status(start)
  ilisp-update-status(start)
  ilisp("pvs" setup-pvsallegro)
  ilisp-start-dialect("pvs" nil setup-pvsallegro)
  pvsallegro("pvs" nil)
  pvs-init()
  pvs()
  load("pvs-load" nil nil nil)
  eval-buffer(#<buffer  *load*> nil
"/home/research/PVS/emacs/go-pvs.el")
  load-with-code-conversion("/home/research/PVS/emacs/go-pvs.el"
"/home/research/PVS/emacs/go-pvs.el" nil t)
  load("/home/research/PVS/emacs/go-pvs.el" nil t)
  command-line-1(("-load" "/home/research/PVS/emacs/go-pvs.el"))
  command-line()
  normal-top-level()