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

Re: commands man pages




Karen -

Did you look through all of the manuals?  There are five manuals for PVS,
all available from "http://pvs.csl.sri.com/manuals.html";.

The "PVS Prover Guide" contains a section for each of the prover commands,
giving their syntax, effects, and examples of use.  As Christoph said, you
can also see brief descriptions of the commands in an X-window by using
M-x x-prover-commands.  Another method of seeing the brief documentation
is to type, e.g., "(help grind)" to the prover prompt.

Dave

---
Dr Dave Stringer-Calvert,  Senior Project Manager,  Computer Science Lab
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA
Phone: (650) 859-3291 Fax: (650) 859-2844 David.Stringer-Calvert@sri.com