LP, the Larch Prover -- The version command
The version command redisplays the identifying information that LP prints
when it starts up.
<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.