diff options
| author | Healfdene Goguen | 1998-05-05 14:25:45 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-05 14:25:45 +0000 |
| commit | a69f1d0ce599d54abbfeb28e557bec342c4d731a (patch) | |
| tree | 966f5e464a1014d7a61b42530db006c7c97d1aff /proof.el | |
| parent | 2fd852fc428fd3868ce4be3627f3b143d0f5f202 (diff) | |
Simple white-space changes.
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions