Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-11 20:43:21 -0700 (Mon, 11 Oct 2004)
Revision: 6237
Log message:

      - (Bug 303) Made sure that in shell_p4 (AKA editor/ml/mp AKA mp.run)
      synchronize and unsynchronize are properly matched.
      
      - Use shell_p4 to open the basic modules (this way the basic commands
      such as cd, ls, etc are available w/o having to #use "x.ml").
      

Changes	Path
+1 -1	metaprl/editor/ml/mp
+21 -20	metaprl/editor/ml/shell_p4.ml
+0 -10	metaprl/editor/ml/x.ml
+9 -7	metaprl/support/shell/shell_state.ml