diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-14 10:09:08 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-14 10:09:08 +0000 |
| commit | 7b6cbefc4b2343309df594b9ce074d5981c62c4b (patch) | |
| tree | c5f660b1854bb17c27f0c81fefd6a1fb77211a81 /isa/isa.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 'isa/isa.el')
| -rw-r--r-- | isa/isa.el | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -145,6 +145,10 @@ and script mode." proof-state-preserving-p 'isa-state-preserving-p proof-parse-indent 'isa-parse-indent proof-stack-to-indent 'isa-stack-to-indent + + ;; close goal..save regions eagerly + proof-completed-proof-behaviour 'closeany + proof-shell-compute-new-files-list 'isa-shell-compute-new-files-list proof-shell-inform-file-processed-cmd "ProofGeneral.inform_file_processed \"%s\";" proof-shell-inform-file-retracted-cmd "ProofGeneral.inform_file_retracted \"%s\";")) |