diff options
| author | David Aspinall | 1998-10-28 18:13:43 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-28 18:13:43 +0000 |
| commit | 4c2778f1df19453fa2df74d2bb59ac32a8dde35d (patch) | |
| tree | b8dd57864392cfa421b3efca8e165ae5c0b278db /doc | |
| parent | 1138d66e7bce6b6b35e053a53dc645cc7ffc63a3 (diff) | |
Added autoload for proof-shell-available-p
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions