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

Re: commands man pages



On Thu, Jul 12, 2001 at 12:40:05PM +0100, PETRIE Karen E wrote:
> I am a fairly new pvs user, and I was wondering if there was documentation
> some place, for each of pvs's proving commands.

Dear Karen,

try M-x x-prover-commands (or choose it from the PVS/Display commands
menu).

Christoph
-- 
cb@cs.uni-sb.de, http://www-wjp.cs.uni-sb.de/~cb/
Office +49/681/302-4129, Fax -4290, Home +49/681/9657944
Computer Science Dept., Universität des Saarlandes, Saarbrücken

PGP signature