TRALE-EXTENSION:Saving of outputs

It can be useful to be able to save the output of a command like mgsat, rec, lex etc, e.g. in order to

• output it again without reperforming the actual task
• view it pretty printed using different pretty printers (e.g. grisu or text)
• run a diff of the two structures (see below)

• save_results_on. saves copies of the output for later use (during the same sesssion)

• save_results_off. switches saving results off. What was saved is preserved.

• show_saved(+<nr>). shows saved result number <nr>

• show_all_saved. shows all saved results

• saved_id(-<nr>). returns number of saved results

• save_results(+<filename>). save results in a file

• load_results(+<filename>). loads results from a file

At system startup, saving of results is off.