diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 21:52:36 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 21:52:36 +0000 |
| commit | c25e7f0a0fc7eb9a0b90cc3aab6b7740cec9d8ee (patch) | |
| tree | 88b31c44a86b542c9330b78bb1cf9c68f47d992c /generic/proof.el | |
| parent | 34ec09678c21b2bf8be501c446ed0778624faa61 (diff) | |
Clean compile
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions