diff options
author | 2000-12-20 10:19:19 +0000 | |
---|---|---|
committer | 2000-12-20 10:19:19 +0000 | |
commit | becba3efd219e9646912d5d40120df5e2ac24ac4 (patch) | |
tree | 27e58342a4d34d61527d52a0208f17595afe4cb2 /generic/span-extent.el | |
parent | 17405351a14511314d8ca23e183bd9f29c664b75 (diff) |
Improvements to span handling, including new variables: proof-shell-last-output-kind and friends
Diffstat (limited to 'generic/span-extent.el')
0 files changed, 0 insertions, 0 deletions