Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-09 13:01:11 -0800 (Wed, 09 Feb 2005)
Revision: 6644
Log message:

      - Call Proof_boot.Proof.clear_cache between modules when doing
        status_and_abandon_all
      
      - Rearranged the code a bit.
      

Changes	Path
+1 -1	metaprl/support/shell/OMakefile
+2 -4	metaprl/support/shell/package_info.ml
+1 -1	metaprl/support/shell/package_info.mli
+4 -2	metaprl/support/shell/shell.ml
+1 -16	metaprl/support/shell/shell_command.ml
+0 -10	metaprl/support/shell/shell_command.mli
+12 -2	metaprl/support/shell/shell_core.ml
+12 -0	metaprl/support/shell/shell_core.mli
+0 -0	metaprl/support/shell/shell_state.ml