Next: , Previous: , Up: FWEB COMMANDS   [Contents][Index]


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.