Fix for retraction order with auto-multiple-files.

Let proof-undo-and-delete-last-successful-command work from
other buffers.
Made kill buffer function more robust.
New!  Added generic defaults for count-undos, goal-command-p,
state-preserving-p.  Used in demoisa instance for now, others to
use later.
Added checks that important configuration variables are set,
and set defaults for some others.

0 files changed, 0 insertions, 0 deletions