		Search-engine friendly clone of the ACL2 documentation.

Set-fmt-hard-right-margin

Set the right margin for formatted output

In this documentation topic we discuss setting of both a ``soft'' and a ``hard'' right margin.

Example Forms:
(set-fmt-soft-right-margin 55 state) ; set soft right margin to 55
(set-fmt-hard-right-margin 68 state) ; set hard right margin to 68

Fmt and related functions can insert linebreaks when lines get too long. A linebreak is inserted at an aesthetically appropriate point once the column exceeds the value of (@ fmt-soft-right-margin). ACL2 may also insert a linebreak (sometimes in an unaesthetic place) to prevent printing in a column that equals or exceeds the value of (@ fmt-hard-right-margin). Such a ``hard'' linebreak follows the insertion of a backslash (\) character unless fmt!, fms!, or fmt1! is used, or state global write-for-read is true.

Note that A right margin of 40 is used for pretty printing with fmt directives ~y, ~Y, ~q, and ~Q and can be changed to a positive integer N with (set-ppr-flat-right-margin N state).