diff options
| author | David Aspinall | 2002-11-07 21:30:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-11-07 21:30:29 +0000 |
| commit | 9f5a4ab6a1cc4a0184edc98f0a8efd26fa3cb32b (patch) | |
| tree | 6680eaa025cb483902c7507a2b6d5843ed517349 /BUGS | |
| parent | e4bc3c83a6e8c1e7860d72953e9de82298826b35 (diff) | |
Patch from Stefan Monnier to attempt to handle multi-line inputs in Coq; plus cosmetics.
Diffstat (limited to 'BUGS')
0 files changed, 0 insertions, 0 deletions