diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-26 13:00:03 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-26 13:00:03 +0000 |
| commit | 6f8bee51a431528f6c3d8b508538d30ea3b3023a (patch) | |
| tree | 8057c88a488a49a4990c8096ac65efbdb82e3702 /generic/proof-menu.el | |
| parent | 1b12b1be9ca41f80f58ae1ca8aaf3198d29d0d9a (diff) | |
Add pr to print state in case of linear_undo. See Trac #292.
Still not ideal: when there is no proof state, we'd prefer
that an empty goal screen is displayed.
Diffstat (limited to 'generic/proof-menu.el')
0 files changed, 0 insertions, 0 deletions