diff options
| author | David Aspinall | 1998-10-01 16:27:24 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-01 16:27:24 +0000 |
| commit | 684a1fb1c829213fdfbd5db482c54d380828e544 (patch) | |
| tree | 7d11f4312e0012b2f29273681d9f773816816f67 /etc/ProofGeneral.patch | |
| parent | 6b39632745f76e9e9bf2d14608b2e7533c9607e2 (diff) | |
Added documentation for user-level functions.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions