diff options
| author | David Aspinall | 2002-06-11 11:06:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-11 11:06:45 +0000 |
| commit | b10c5626a56fac656386daab966fb08a44330a9c (patch) | |
| tree | ed712870efefeebf219dce5b1e500df131b45a3e /generic/proof-shell.el | |
| parent | c71cc870b134bc62201c6184488d14225852ab13 (diff) | |
Add proof-nesting-depth, new implementation of span amalgamation in proof-done-advancing.
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index ae851a01..848eb1e3 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -397,6 +397,7 @@ exited by hand (or exits by itself)." proof-included-files-list nil proof-shell-busy nil proof-shell-proof-completed nil + proof-nesting-depth 0 proof-shell-error-or-interrupt-seen nil proof-shell-silent nil proof-shell-last-output nil |