[printvc].
'Command example:       CHECK|: printvc.'.
''.
'This command creates a file, VCn.LIS (where n is the current VC number)'.
'in the user\'s default directory containing a listing of the current VC'.
'with related information.  This is particularly useful in proofs of'.
'large/complex VCs, and can save time and trouble issuing repeated'.
'"list" commands.'.
