diff options
author | 2017-01-18 22:05:37 +0100 | |
---|---|---|
committer | 2017-01-18 22:05:37 +0100 | |
commit | 77c3f2eac868f177b73d2aa59b277e40fc48fd0c (patch) | |
tree | 249344f814f49c07cf3ac341dee3eefd9b74539e /doc/ProofGeneral.texi | |
parent | 31a5f3f036d5c15931d7901368b49c60988e9c4e (diff) |
split emergency-cleanup to handle interrupts properly (fixes #143)
Split coq-par-emergency-cleanup into two functions, one for
reacting on user interrupts and one for cleaning up after
compilation errors.
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions