diff options
| author | David Aspinall | 1998-12-11 13:11:35 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-11 13:11:35 +0000 |
| commit | 2560ee357dc5bbbe13f0532f42c07faa809b93b7 (patch) | |
| tree | 5f0b469eb179c11c723c0272a1d1e4da29344d91 /generic/proof-script.el | |
| parent | 099bc57254ed54f91b734999524af5fbb0e72dcc (diff) | |
Removed proof-send, now use proof-shell-insert instead.
Removed proof-preprocess-input hook function, Paul Callaghan can now use
proof-shell-insert-hook instead for his need.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions