diff options
| author | Healfdene Goguen | 1998-06-03 16:03:02 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-06-03 16:03:02 +0000 |
| commit | e706074e6f8e31d0f7d19f2e237eb682246b7299 (patch) | |
| tree | 47834e1fbbce7e50d764c8170490c94c8dcdf58e /script-management.texinfo | |
| parent | 763c157a214f46ef80c92c4eeafb2d705bedbde7 (diff) | |
Added proof-goto-end-of-locked-interactive as old
proof-goto-end-of-locked, and proof-goto-end-of-locked now doesn't
switch buffer.
Added code in proof-steal-process to handle case of stealing script
management from a killed buffer.
Set proof-active-buffer-fake-minor-mode to nil in
proof-restart-script.
Diffstat (limited to 'script-management.texinfo')
0 files changed, 0 insertions, 0 deletions