. Bug fix: moved proof-mark-buffer-atomic from proof-mode body to

     proof-config-done, since it relies on some configuration being
     set!
  .  Removed test for script buffer in proof-unprocessed-begin to
     allow non-script buffers to be properly recognized as being
     locked.
  .  Proof restart script now works on all included files, not
     just those in the proof-script-buffer-list.  This means
     non script buffers are correctly unlocked when scripting
     is restarted.
  .  Bug fix in proof-register-possibly-new-processed-file
     to mark buffer atomic according to the comment
     (previously failed if proof-script-buffer-list happened
      to be empty)
  .  Bug fix so proof-undo-last-successful-command fails
     silently on buffer without locked regions.

0 files changed, 0 insertions, 0 deletions