diff options
| author | David Aspinall | 2004-04-16 17:35:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-16 17:35:58 +0000 |
| commit | ff17818207cd996554e8eb17890388493ed63257 (patch) | |
| tree | f6d693370757f73c0a596a68bc5d26997ff08614 /doc | |
| parent | 2b17630a04cc510ef6c504614ab59e99071c5cce (diff) | |
Add boundp check to proof-map-multiple-frame-specifiers, for some back compatibility.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions