Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-05-06 15:31:55 -0700 (Sun, 06 May 2001)
Revision: 3213
Log message:
- Rformat now will use no more than 1/3 of the total width on the left tabs.
- I've added the short_string_of_term function to Simple_print that creates
a string of the length at most 120. More importantly, it aborts printing
as soone as it hits the margin, so no matter how big the term is, it should
work fast.
- debug_dform debugging now uses the short_string_of_term, so it will now
hopefully produce managable output even on big terms.