diff options
| author | David Aspinall | 2011-01-30 21:31:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-30 21:31:36 +0000 |
| commit | 284cf2fed1ba6f6a4d4ea72618a44e7a2dc9f97c (patch) | |
| tree | 2978ea70618a0206fa867d1c68fa289cfefeeef0 /generic/proof-utils.el | |
| parent | 36b52263fe98d5d72de971faaed4b834f765be8e (diff) | |
Note about declare-function
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions