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

Re: installation problem



Hi Borzoo,

This looks like an Emacs problem to me.  Could you try running pvs
with the -q option, to make sure it's not soemthing from your
.emacs file?  I just searched for turn-on-auto-fill in the PVS
Emacs sources, and it isn't there.

Thanks,
Sam Owre

> From:    "Borzoo Bonakdarpour" <borzoo@cse.msu.edu>
> Subject: installation problem
> Date:    Sun, 31 Aug 2003 14:41:45 -0400
> To:      <pvs-help@csl.sri.com>
> 
> 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()