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.
      

Changes  Path
+3 -1 metaprl/support/shell/browser_resource.ml
+15 -4 metaprl/support/shell/proof_edit.ml
+1 -1 metaprl/support/shell/proof_edit.mli
+1 -1 metaprl/support/shell/shell_core.ml
+5 -2 metaprl/support/shell/shell_fs.ml
+6 -2 metaprl/support/shell/shell_package.ml
+6 -2 metaprl/support/shell/shell_root.ml
+2 -2 metaprl/support/shell/shell_rule.ml
+16 -11 metaprl/support/shell/shell_sig.mlz