Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-14 18:47:36 -0700 (Mon, 14 Apr 2003)
Revision: 4431
Log message:

      Tried to simplify the shell interfaces a little.
      

Changes	Path
+2 -2	metaprl/editor/ml/mp.ml
+1 -1	metaprl/editor/ml/mp_top.ml
+1 -1	metaprl/editor/ml/nuprl_eval.ml
+11 -11	metaprl/editor/ml/shell.ml
+3 -3	metaprl/editor/ml/shell.mli
+22 -41	metaprl/editor/ml/shell_mp.ml
+1 -1	metaprl/editor/ml/shell_mp.mli
+15 -28	metaprl/editor/ml/shell_p4.ml
+1 -1	metaprl/editor/ml/shell_p4.mli
+9 -97	metaprl/editor/ml/shell_p4_sig.mlz
+565 -571	metaprl/editor/ml/shell_state.ml
+72 -9	metaprl/editor/ml/shell_state.mli