Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-02-02 18:02:56 -0800 (Mon, 02 Feb 2004)
Revision: 5335
Log message:
Display the status of the current node (e.g. the status of the proof generated
by the current rulebox only).
I implemented it to be displayed after the path status in "< >".