diff options
| author | David Aspinall | 2010-08-15 22:47:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-15 22:47:42 +0000 |
| commit | 077f1357124a99ea87e666f9074f2966d846e67f (patch) | |
| tree | aaa05c43e5c21b9ac9555525c526700310a99144 /generic/proof-script.el | |
| parent | a72719e7a1d95d661ceede447295e67479fa8db4 (diff) | |
proof-shell-interrupts-after-commit: support commit-before-interrupt mode [experimental/temporary].
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions