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