5.1 Debugging commands

Several commands provide localized versions of the ‘-1’ and ‘-2’ options related to debugging of pretty-printing.

5.1.1 ‘@0’: Turn off debugging

This cancels the effect of a previous ‘@1’ or ‘@2’ (see @1’: Display irreducible scraps and @2’: Display detailed reductions of the scraps). The ‘@0’ command should appear in a different section from the ‘@1’ or ‘@2’ commands.