diff options
| author | David Aspinall | 2010-08-13 10:21:07 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-13 10:21:07 +0000 |
| commit | 31393e51a20c76084b587e2348d3ba5a8d7c60b2 (patch) | |
| tree | 56fa4d9e78117f827fe21043889d289a76db4198 /pgshell | |
| parent | 20f453081d070752de87d0a1003505288b7a868e (diff) | |
proof-activate-scripting: make sure can succeed when
proof-activate-scripting-hook does nothing (case: switching buffers in
Coq when there was an error)
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions