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

PVS parser does not work



Hi,

I am a new user and still learning.  I am trying to parse a theory, parser
gives error ") expected here".  The cursor does not go anywhere in the
theory, neither does it show the line number where error occured.  Top
buffer has the theory file, middle buffer shows error message in a line, and
the bottom buffer is empty (or looks empty).  How can I find out where is
"here"?

Am I doing something wrong?

Solaris 4.1.4 on Sparc.
PVS 2.1
Emacs 20.2.1

Thanks for any help,

- Saeed Awan