diff options
| author | David Aspinall | 1998-09-16 14:35:49 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-16 14:35:49 +0000 |
| commit | 6c6bd41dd41d3854ce57bb613dee63b2e181d550 (patch) | |
| tree | 005e2c9224fa1ca6121bb757a0d8a77be5de8ee1 /doc | |
| parent | 304b22adb263e5733d8000548d8a873292997dfe (diff) | |
Improved doc. Removed proof-mode-version-string.\nMade proof-prog-name-ask-p defcustom
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions