Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-13 00:56:50 -0700 (Tue, 13 May 2003)
Revision: 4591
Log message:

      Some more progress on refactoring the shell commands.
      

Changes	Path
+2 -24	metaprl/editor/ml/mp.ml
+0 -15	metaprl/editor/ml/mp.mli
+2 -3	metaprl/editor/ml/nuprl_eval.ml
+2 -1	metaprl/editor/ml/nuprl_eval.mli
+2 -4	metaprl/editor/ml/nuprl_run.ml
+3 -2	metaprl/editor/ml/nuprl_run.mli
+21 -14	metaprl/filter/filter/filter_prog.ml
+36 -64	metaprl/support/shell/package_info.ml
+1 -0	metaprl/support/shell/package_sig.mlz
+84 -89	metaprl/support/shell/shell.ml
+11 -0	metaprl/support/shell/shell.mli
+1 -2	metaprl/support/shell/shell_sig.mlz
+0 -1	metaprl/theories/itt/itt_group.mli