diff options
| author | David Aspinall | 1999-11-14 10:09:08 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-14 10:09:08 +0000 |
| commit | 7b6cbefc4b2343309df594b9ce074d5981c62c4b (patch) | |
| tree | c5f660b1854bb17c27f0c81fefd6a1fb77211a81 /generic/proof-syntax.el | |
| parent | 2ad5635db7944c2e31390730f85b2c36d43ec9df (diff) | |
proof-nested-goals-allowed -> proof-completed-proof-behaviour
Patch for more flexible handling of closing goal...save regions
after proof has been completed.
Diffstat (limited to 'generic/proof-syntax.el')
0 files changed, 0 insertions, 0 deletions