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