diff options
| author | Healfdene Goguen | 1998-05-21 17:27:00 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-21 17:27:00 +0000 |
| commit | 422bc59b8bb8276360843f8ee4dcb5e681ec220c (patch) | |
| tree | ad7b7da6a2bffc4ba5483d1fc6a63a0f731c2017 /proof.el | |
| parent | 553e23b317adc6b2f340b191b24bf5d60ba6de90 (diff) | |
Changing buffers now works.
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions