[set].
'Command examples:       CHECK|: set.'.
'                        CHECK|: set simplify_in_infer.'.
'                        CHECK|: set auto_done to on.'.
''.
'You can use the "set" command, both interactively and in a CHECKER.INI'.
'initialisation file, to set the value of various flags.  See Chapter 3'.
'of the Checker documentation for a description of each flag.  Use the'.
'"show" command to inspect the current settings.'.
