Added proof-unprocessed-begin as general function to find beginning of

unprocessed region.  This should be used instead of proof-locked-end
if we're not guaranteed to be in scripting buffer.
proof-locked-end now calls proof-unprocessed-begin if we're in the
proof-script-buffer.
We set the goal name to "Unnamed_thm" if we can't find any other name
for the theorem.
proof-process-active-terminator now calls proof-unprocessed-begin.
proof-shell-config-done now calls 'proof-mode-hook.

0 files changed, 0 insertions, 0 deletions