LP, the Larch Prover -- The comment command

The comment command provides a way for users to annotate scripts and logs.


<comment-command> ::= % <string>


% Axioms for finite sets


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.