diff options
| author | Hendrik Tews | 2011-12-06 08:24:23 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-12-06 08:24:23 +0000 |
| commit | 2797da42179670435c46b8cbaf5cccb5f8b76c51 (patch) | |
| tree | d3aac80876e6e663eac38ccccc9eeb317bcf756b /generic/proof-shell.el | |
| parent | 4803894e4b9961e95a3298737466e4911794ffd4 (diff) | |
ensure optim-resp-window does not change the current buffer
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions