diff options
| author | David Aspinall | 1998-10-23 13:21:40 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-23 13:21:40 +0000 |
| commit | a8711708eeaa17fe8d1a4d2bf8081f02010e282d (patch) | |
| tree | c5bdb843d1afa0097889c2eddc25ca0f155f76dc /generic/proof-shell.el | |
| parent | 6544813185801185466f0ef00a37de620a76c7cd (diff) | |
Corrected doc of proof-check-process-available
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions