diff options
| author | David Aspinall | 2010-08-13 10:46:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-13 10:46:16 +0000 |
| commit | cc948dc5f89a6602f66c668edb35706720cfb883 (patch) | |
| tree | 5b025cbc4e663e5084b077dfe7af6c1907c49a7e /pgshell | |
| parent | 21234eb603c16ced5c8571e52374a32b3fc0e1bc (diff) | |
coq-highlight-error: make robust against proof script buffer deactivating
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions