diff options
| author | David Aspinall | 2009-09-10 21:41:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-10 21:41:39 +0000 |
| commit | 34ec09678c21b2bf8be501c446ed0778624faa61 (patch) | |
| tree | 6ceb741cbdb9a32c2c9e55917b91848183149c16 /generic/proof.el | |
| parent | 30c9c8ebe6e6d1221f1cf45b80a596c8d420ac83 (diff) | |
Some fixes to requires etc
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions