diff options
| author | David Aspinall | 1998-10-26 14:05:18 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-26 14:05:18 +0000 |
| commit | ad5f150b0eb16f90fa034eb3cfd8378a38a4506d (patch) | |
| tree | 96b7fee0a40004334af7a2b15eb26594c3e92c52 /generic/proof-script.el | |
| parent | d858652f7fcd6f3a3da1b032ef879f508cfa5f49 (diff) | |
Moved proof-message to proof shell, renamed to proof-shell-message.
Removed redundant variables in proof-shell-popup-eager-annotation.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions