diff options
| author | David Aspinall | 2009-09-06 13:53:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-06 13:53:35 +0000 |
| commit | 38751c59d7cee8757e07829e0de5263932bc9f23 (patch) | |
| tree | 792bae33ed1a1bb6738936a2329299ce20edd34a /generic/proof-script.el | |
| parent | 37b64777bb4aef28b3cadcd6aba9653eda14919c (diff) | |
Remove proof-shell-wakeup-char.
Clarify purpose and meaning of `proof-shell-end-goals-regexp'.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions