diff options
| author | Healfdene Goguen | 1998-05-21 17:34:31 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-21 17:34:31 +0000 |
| commit | 6029f34197264df1ec23a5516d3aee8aa6824bab (patch) | |
| tree | ab4e34b86b66cd68564b1d9ac06452d920bf32ff /script-management.info | |
| parent | dbfd4c263daa4f0a75981c0fd1c8b78c4addd757 (diff) | |
Made proof-locked-span and proof-queue-span buffer-local.
Changed some if's without then-clauses to and's.
Removed (proof-detach-segments) from (proof-steal-process)
This is the bug that made changing buffers fail in emacs19:
the segments had already been detached.
Check if we're in proof buffer for proof-frob-locked-end.
Force mode-line update for emacs19 in proof-active-terminator-minor-mode.
Diffstat (limited to 'script-management.info')
0 files changed, 0 insertions, 0 deletions