diff options
| author | David Aspinall | 1998-10-21 17:17:42 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-21 17:17:42 +0000 |
| commit | f3baeb4be75c658d4c4fa85a706dbd3dee2134f2 (patch) | |
| tree | 65f4239211418417e9f9de9a54381353d7d3713f /html | |
| parent | 2f476aaa6eaa12dac814effb9fee8f2188f6b6df (diff) | |
o Replaced proof-register-new-processed-file by -possibly-new- variant.
o Allowed proof-shell-process-file function to return nil
o Fixed bug (missing declaration of 'file') in
proof-shell-process-urgent-message
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions