diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-01-23 14:12:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-23 14:12:39 +0000 |
| commit | e322521a3ea64344ed17feac5a6a961ba81db910 (patch) | |
| tree | 97e92d20c390da76f78af99cf826bb4a9f0c79dc /doc/PG-adapting.texi | |
| parent | fbfeb817505ce1e43939eb54e200599ff57e4916 (diff) | |
proof-shell-exit: mention quit command and quit timeout in doc
Diffstat (limited to 'doc/PG-adapting.texi')
0 files changed, 0 insertions, 0 deletions