diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 08:47:09 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 08:47:09 +0000 |
commit | 1769db4c1d1ae4ca32a04acbd2c247a803bf4af0 (patch) | |
tree | 42b50dcb2df4f9d46f1b16611cf6084120c156b8 /generic/proof-utils.el | |
parent | 723a9451336ed0de8d9a3eb290d16134d9ef703e (diff) |
Add proof-minibuffer-messages. Move defpacustom->proof-utils and
fix requires.
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions