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

Error: attempt to call `PARSE-FILE'



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