| 1 | Index: generic/proof-shell.el |
|---|
| 2 | =================================================================== |
|---|
| 3 | RCS file: /disk/cvs/proofgen/ProofGeneral/generic/proof-shell.el,v |
|---|
| 4 | retrieving revision 10.66 |
|---|
| 5 | diff -c -c -r10.66 proof-shell.el |
|---|
| 6 | *** generic/proof-shell.el 1 Oct 2010 15:38:28 -0000 10.66 |
|---|
| 7 | --- generic/proof-shell.el 10 Oct 2010 12:15:21 -0000 |
|---|
| 8 | *************** |
|---|
| 9 | *** 729,735 **** |
|---|
| 10 | (unless (proof-shell-live-buffer) |
|---|
| 11 | (error "Proof process not started!")) |
|---|
| 12 | (unless proof-shell-busy |
|---|
| 13 | ! (error "Proof process not active!")) |
|---|
| 14 | (setq proof-shell-interrupt-pending t) |
|---|
| 15 | (with-current-buffer proof-shell-buffer |
|---|
| 16 | (interrupt-process))) |
|---|
| 17 | --- 729,735 ---- |
|---|
| 18 | (unless (proof-shell-live-buffer) |
|---|
| 19 | (error "Proof process not started!")) |
|---|
| 20 | (unless proof-shell-busy |
|---|
| 21 | ! (message "Proof process should not be active!")) |
|---|
| 22 | (setq proof-shell-interrupt-pending t) |
|---|
| 23 | (with-current-buffer proof-shell-buffer |
|---|
| 24 | (interrupt-process))) |
|---|
