diff options
| author | David Aspinall | 2011-09-14 11:39:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-09-14 11:39:35 +0000 |
| commit | 96fe322d111bf21a75343afab39d76785f9b29e7 (patch) | |
| tree | e141965cf4650e8b94cc819178f7963b47aeec0d /generic/proof-shell.el | |
| parent | 518be597da9d4f5f6769ffec64fd3072a265f296 (diff) | |
proof-electric-terminator: allow a prefix argument to avoid electric action.
Addresses Trac #422
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions