Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-15 16:16:03 -0700 (Fri, 15 Jun 2001)
Revision: 3268
Log message:
Implemented object status inquiry:
status ();;
-- tells the status of the current object
status_all ();;
-- re-runs all proofs in the current node and tells their status
-- from root - same for all the proofs in MetaPRL