diff options
| author | David Aspinall | 1998-11-25 12:50:13 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 12:50:13 +0000 |
| commit | fdaa5ea4bed2b26242f01122d24bb4dcb63aec78 (patch) | |
| tree | 47acffc6a970a39cf9f6c43cd364cd9f3b0f4531 /generic/proof-script.el | |
| parent | 5470657d6c2c4612067f7a0a62a91dc54dd27916 (diff) | |
Docstring improvements.
Made default for proof-window-dedicated be nil because of
problems with multi frame stuff.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions