diff options
| author | David Aspinall | 2001-08-30 14:19:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-30 14:19:39 +0000 |
| commit | b0bdc521c0daa59e8997b5205f688f47581cb9dd (patch) | |
| tree | f8ae6d2bd5f15e0ebefe6b64d2d34189741f2b56 /html | |
| parent | c8912a9a56dbbfc7b9f4722c430bcff253cbc395 (diff) | |
fixes for FSF Emacs for searching for goal span (don't call goal-command-p on empty string). Fix bug in add-proof-element for disappearing proofs setting. Add setting of proof-previous-script-buffer when scripting deactivated
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions