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