diff options
| author | David Aspinall | 1998-11-03 14:37:27 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-03 14:37:27 +0000 |
| commit | d36aa837d21c8323b1bbe4fcf4f34f9688122018 (patch) | |
| tree | 65460021e7809abb12e3ae09cffa738fb0d1f37a /generic/proof-script.el | |
| parent | 34ddb5bbb486a9d23c6b567c5c7168847b673600 (diff) | |
Promoted proof-window-dedicated to be a user option, and
renamed it [to reserve -p only for functions (predicates)].
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions