diff options
| author | Healfdene Goguen | 1998-05-05 14:25:05 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-05 14:25:05 +0000 |
| commit | 2fd852fc428fd3868ce4be3627f3b143d0f5f202 (patch) | |
| tree | dc6b23ffb32fef85ac1361dad0600722bcfacb54 /proof.el | |
| parent | 6dd0ce97dd47d0588c18c1472595200190e889c6 (diff) | |
Removed because its functionality is subsumed by the xemacs and
emacs19 files.
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions