[save_state].
'Command example:       CHECK|: save.'.
''.
'The "save" command saves the current proof session in a .CSV file.'.
'You can then resume a proof session later on from where you left off'.
'(see "help resume.").  The .CSV file will be in internal Prolog'.
'syntax: you should not attempt to modify this file in any way.'.
