Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-09-25 17:09:12 -0700 (Mon, 25 Sep 2000)
Revision: 3079
Log message:

      The result of MP toploop expression evaluation is now also formatted
      using the terminal width. Also, tuples and lists should be now formatted nicer
      in toploop.
      

Changes  Path
+1 -5 metaprl/editor/ml/shell.ml
+64 -46 metaprl/editor/ml/shell_mp.ml
+0 -1 metaprl/editor/ml/shell_p4_sig.mlz
+0 -5 metaprl/editor/ml/shell_state.ml
+15 -2 metaprl/mllib/mp_term.ml
+1 -0 metaprl/mllib/mp_term.mli