diff options
| author | David Aspinall | 2000-05-11 14:18:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-11 14:18:06 +0000 |
| commit | 8b806f7bf9d7f41ef9d3a8d05920f536f09fb3eb (patch) | |
| tree | 5b240ac820c6fdd18bf58b18586fd69e6e0efd45 /generic/proof.el | |
| parent | dbaee1a57c2c8f38a5420f5f110407fc8b117bea (diff) | |
Menus and code cleanup
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions