diff options
| author | David Aspinall | 2007-08-19 10:12:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-08-19 10:12:10 +0000 |
| commit | c77ef0877c803f1a2e38bed773a961b107cb469b (patch) | |
| tree | 15e3fa3d77d11a180b185e1e277698687bbbba7e /generic/proof-script.el | |
| parent | be86be871f67097155104ce3dfdf2e982d39b543 (diff) | |
proof-append-alist: detach queue span if no commands after comments stripped.
Fixes trac report #138: processing comments alone leads to spurious read-only region.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions