diff options
| author | David Aspinall | 2011-01-23 13:59:33 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-23 13:59:33 +0000 |
| commit | fbfeb817505ce1e43939eb54e200599ff57e4916 (patch) | |
| tree | d430019ce1433788829b8b2c15c2f8e6823c1bd6 /pgshell/example.pgsh | |
| parent | 3091827b9cf921758ae8bb1fafc3b3a7368a923c (diff) | |
Make proof-shell-quit-timeout a prover-specific customize option, default to 45 for Isar. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/384.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions