diff options
| author | Hendrik Tews | 2012-11-14 21:41:21 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2012-11-14 21:41:21 +0000 |
| commit | 61d8a37769c6426b9067ded744a9dc672c11f4f1 (patch) | |
| tree | d40957b87696ce1d20793265d95582ed68f5292d /generic/proof-shell.el | |
| parent | 70183fa234acec75f024c4821942771f1a1a3b6c (diff) | |
- fix problem in emergency process killing
- better handling of errors in process creation
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions