diff options
| author | David Aspinall | 2010-09-21 13:12:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-09-21 13:12:39 +0000 |
| commit | feaaf63b8465bce6fcfb3cae6c0e678d77851516 (patch) | |
| tree | 33fd3879f31c7f147b66491a3b20436407d46ce0 /generic/proof-shell.el | |
| parent | 5bf9c024742e232774b3e4b5f74af29f38a46d4a (diff) | |
proof-deftoggle: add declare-function to prevent compiler warnings
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions