diff options
| author | Paul Callaghan | 1999-05-12 14:16:47 +0000 |
|---|---|---|
| committer | Paul Callaghan | 1999-05-12 14:16:47 +0000 |
| commit | 35415802db09738fabb5d3fc04eaf11c0f26249a (patch) | |
| tree | 9c82ee5fd2f9134d01f02e686dce26d220614505 /generic | |
| parent | 12bab96eea4c44ebe27eecfb31f49ced67008dac (diff) | |
changed use of proof-send (OLD) to proof-shell-insert
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions