diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-09-22 15:48:34 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-22 15:48:34 +0000 |
| commit | d47e6f73c05d121c7e6fc9475f9209f9a39a4a10 (patch) | |
| tree | 4ec0fc3037e1201b9da3c08b781c86a8a143c9d2 /generic/proof.el | |
| parent | 9c9e453f42ea488a877534ea603ddd088928bb95 (diff) | |
Whitespace
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions