. Changed behaviour of retracting current scripting buffer:

    now it *nukes* proof-script-buffer-list (possibly
    unecessarily).  Before, current scripting buffer was
    silently preserved in case it was retracted, but this
    means that proof-activate-scripting-hook was not run
    when scripting was begun again in the buffer, which
    left PG in an inconsistent state with respect
    to included files (in Isabelle).
    URGENT: must check this is okay with LEGO.

0 files changed, 0 insertions, 0 deletions