Several changes:

1. save-some-buffers now skips the current active scripting buffer.
   It was annoying to be asked whether to save this one as the
   user may have just begun typing into a fresh file, or may want
   to experiment with a modified proof, for example.
2. proof-deactivate-scripting improved so it works pretty well as
   a (so far undocumented) command.  Kill buffer function now removes
   spans, so that they remain if we deactivate without killing.
   Plan is to call this in proof-activate-scripting to turn off
   current scripting buffer and munge the processed file list the
   way we like it.
3. In both proof-deactivate-scripting and proof-activate-scripting,
   we do the same thing: files with empty locked regions are
   removed from the processed files list, those with full locked
   regions are added.  This is an attempt to harmonize the file
   handling of the theorem prover and whatever it reports with
   the scripting inside Proof General.
   Additionally proof-deactivate-scripting retracts a file with a
   partly locked region, only the active scripting buffer is
   allowed such a region (currently).

0 files changed, 0 insertions, 0 deletions