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

[PVS-Help] PVS doesn't start



Hi,

 

I’ve upgraded my fedora to version 14 and i had to reinstall PVS. When I try to start PVS (./pvs) emacs is opened but pvs itself  shows no sign of life.

The backtrace says:

 

Debugger entered--Lisp error: (error "Buffer *pvs* has no process")

  process-status(nil)

  pvs()

  load("pvs-load" nil nil nil)

  eval-buffer(#<buffer  *load*> nil "/home/Sjaak/Applications/PVS-42/emacs/go-pvs.el" nil t)  ; Reading at buffer position 2780

  load-with-code-conversion("/home/Sjaak/Applications/PVS-42/emacs/go-pvs.el" "/home/Sjaak/Applications/PVS-42/emacs/go-pvs.el" nil t)

  load("/home/Sjaak/Applications/PVS-42/emacs/go-pvs.el" nil t)

  command-line-1(("-load" "/home/Sjaak/Applications/PVS-42/emacs/go-pvs.el"))

  command-line()

normal-top-level()

 

 

Any suggestions?

 

Many regards,

 

Sjaak Smetsers

University of Nijmegen