diff options
| author | David Aspinall | 2000-05-30 12:27:00 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-30 12:27:00 +0000 |
| commit | 8a3d1abf4ac1b452f9545bc3473372bd56b8eb92 (patch) | |
| tree | e605c1a6db2bd2272dab0a7733d9e9cfe685f9ea /generic/proof-script.el | |
| parent | edef6b2fbf0f4cd18a85be708b86b5bd01855286 (diff) | |
Change order of checks in proof-shell-live-buffer
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions