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