diff options
| author | David Aspinall | 2001-08-17 15:13:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-17 15:13:42 +0000 |
| commit | 95cc1a06c6f1e26e6b75ed834dc2c313288f09b1 (patch) | |
| tree | e4c0d1fac34f7ad900db94a83b20048561807815 /html/header.html | |
| parent | 98f441d3eccc0d51cefbd059a04cba01401576bd (diff) | |
Fix bug in proof-display-and-keep-buffer which had resulted in switching minibuffer windows buffer.
Diffstat (limited to 'html/header.html')
0 files changed, 0 insertions, 0 deletions