Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-20 15:05:31 -0700 (Sun, 20 Jun 2004)
Revision: 5958
Log message:
Added 3 new is_enabled methods - MethodRedo (checks whether redo stack is empty),
MethodExpand (tells whether we are in a proof and the current proof not is not
yet expanded), and MethodApplyAll (tells whether we are in a place where *_all -
expand_all, status_all and check_all - whould make sense).
For now, I pnly updated the Edit -> Redo item to use the new MethodRedo (instead
of MethodUndo); the other two are unused.