diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2012-01-10 11:46:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2012-01-10 11:46:16 +0000 |
| commit | 84984e102e316c0ad201ed6bc6fb7236a8507584 (patch) | |
| tree | 6d58d20505f46026151597a8dfe7f60d0a1eb4df /doc/PG-adapting.texi | |
| parent | fbcd39419bb84b3c61fb59298f73ce4b485d5454 (diff) | |
Support proof-shell-interactive-prompt-regexp, ref Trac #430
Diffstat (limited to 'doc/PG-adapting.texi')
0 files changed, 0 insertions, 0 deletions