LP, the Larch Prover — The comment command
The
comment command
provides a way for users to annotate scripts and logs.
Syntax
<comment-command> ::=
%
<
string
>
Examples
% Axioms for finite sets
Usage
LP ignores all input from the character (
%
) introducing a comment to the end of the line. These characters appear in any
script
or
log
file active at the time of the command, but do not otherwise affect LP's operation.