Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-05-28 15:16:27 -0700 (Mon, 28 May 2001)
Revision: 3240
Log message:

      Use terminal width for output in a more consistent manner.
      

Changes	Path
+1 -1	metaprl/clib/termsize.c
+0 -2	metaprl/editor/ml/proof_edit.ml
+1 -2	metaprl/editor/ml/shell.ml
+3 -6	metaprl/editor/ml/shell_mp.ml
+0 -1	metaprl/editor/ml/shell_package.ml
+0 -1	metaprl/editor/ml/shell_root.ml
+2 -4	metaprl/editor/ml/shell_state.ml
+1 -1	metaprl/filter/base/filter_exn.ml
+1 -1	metaprl/filter/boot/exn_boot.ml
+5 -5	metaprl/filter/boot/proof_boot.ml
+1 -1	metaprl/filter/boot/proof_term_boot.ml
+6 -5	metaprl/mllib/mp_term.ml
+5 -4	metaprl/mllib/mp_term.mli
+6 -6	metaprl/refiner/reflib/dform.ml
+2 -2	metaprl/refiner/reflib/refine_exn.ml
+4 -2	metaprl/refiner/reflib/rformat.ml
+3 -2	metaprl/refiner/reflib/rformat.mli
+13 -14	metaprl/refiner/reflib/simple_print.ml