diff options
| author | Hendrik Tews | 2011-01-18 14:40:38 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-01-18 14:40:38 +0000 |
| commit | abd3735b28f09a7e711af701c8ad0427c30f236f (patch) | |
| tree | d25bdf79e3ee43c7985267c0773c9cab11e593cc /generic | |
| parent | 0e9d06327d1f8a150235da595e9ad076a53ca9be (diff) | |
- fix broken external compilation
- fix quitting during compilation
- substitute "compile" for "recompile"
- added documentation
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 9b0c876a..f5825516 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -931,7 +931,7 @@ The queue mode is set to 'advancing" (proof-set-queue-endpoints (proof-unprocessed-begin) end) (condition-case err (run-hooks 'proof-shell-extend-queue-hook) - (error + ((error quit) (proof-detach-queue) (signal (car err) (cdr err)))) (proof-add-to-queue queueitems 'advancing)) |