diff options
| author | David Aspinall | 1999-11-22 18:52:47 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-22 18:52:47 +0000 |
| commit | e4ce3196f9e265b43dc85e2b21097890ad7b152a (patch) | |
| tree | 340b5345b03e054cb0b45c6fc2afd32a63d77cf5 /generic/proof.el | |
| parent | 943b92c15f616944b6b48e35fecf0fb31ce40c0e (diff) | |
proof-shell-done-invisible -> proof-done-invisible again
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions