[show].
'Command example:        CHECK|: show.'.
''.
'The "show" command displays the setting of each of the user-configurable'.
'flags, which may be modified via the "set" command.  It also displays'.
'statistics for the proof session, giving the CPU (and garbage collect)'.
'time used, the amount of memory used and the amount of memory still free'.
'at present.'.
