SET-FMT-SOFT-RIGHT-MARGIN.html -- ACL2 Version 6.3

SET-FMT-SOFT-RIGHT-MARGIN

set the soft right margin for formatted output

Major Section:  IO

See set-fmt-hard-right-margin for a discussion of the soft and hard right margin for formatted output.