Made handling of multiple files more robust. On changing script

buffers, we invoke (save-some-buffers). Furthermore, we warn the user
if modified buffers have been read in by the proof assistant.

0 files changed, 0 insertions, 0 deletions