LP, the Larch Prover — The version command

The version command redisplays the identifying information that LP prints when it starts up.

Syntax

<version-command> ::= version

Examples

version

Usage

The version command causes LP to identify which version of LP is being run and how it was installed. In particular, it reports the maximum size for LP's heap (which limits the size of LP's logical system and proof stack) and the identity of the directory ~lp that LP searches for help messages and examples.