diff options
author | 1998-10-21 17:17:42 +0000 | |
---|---|---|
committer | 1998-10-21 17:17:42 +0000 | |
commit | f3baeb4be75c658d4c4fa85a706dbd3dee2134f2 (patch) | |
tree | 65f4239211418417e9f9de9a54381353d7d3713f /isa/isa.el | |
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 'isa/isa.el')
0 files changed, 0 insertions, 0 deletions