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

Re: Error: attempt to call `PARSE-FILE'



It sounds like the lisp image is not running - what do the "*pvs*" and
"pvs" buffers show?

Sam

> Hello,
> 
> I am trying to use PVS 2.4 for the first time, I keep receiving the following error msgs whenever I load or try to parse a .pvs file. And then emacs hangs:
> 
>  Error: attempt to call `PARSE-FILE' which is an undefined function.
> 
>  Error: attempt to call `LIBRARY-FILE' which is an undefined function.
> 
> Any help would be greatly appreciated. Thanks,
> 
> sayan
> 
> 
> 
> sayan mitra
> massachusetts institute of technology
> laboratory for computer science (NE-43 #368)
> o: 617.253.1922 h: 617.225.1665
> 
>