[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: commands man pages
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.
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