^PN : MEXPR

^PN is a top-level command.
Print current plan-support pair in the proof, as in ^P, but
also print just the line numbers of the other lines in the proof.
The command format for ^PN is:

 <n>^PN 

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage