[next] [prev] [prev-tail] [tail] [up]
{$NOTES ON} switches the generation of notes on. {$NOTES OFF} switches the generation of notes off. Contrary to the command-line option -vn this is a local switch, this is useful for checking parts of the code.
By default, {$NOTES} is off.
[next] [prev] [prev-tail] [front] [up]