diff options
| author | David Aspinall | 2011-05-27 11:56:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-05-27 11:56:16 +0000 |
| commit | 22295d5e6520cfd025feebb4b000fde2c41fadd4 (patch) | |
| tree | e495060a60e401e8c084755ba62da8ad6d25d4a1 /etc/ProofGeneral.spec | |
| parent | 94189d162954ffd921a40ade8eb16a795c7f48be (diff) | |
ensure (integerp proof-segment-up-to-cache-end), fixes Trac #404
Diffstat (limited to 'etc/ProofGeneral.spec')
0 files changed, 0 insertions, 0 deletions