diff options
| author | David Aspinall | 1999-06-07 17:04:36 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-07 17:04:36 +0000 |
| commit | 5362a1cccca751562c5e894e9531202b8ac5a36f (patch) | |
| tree | 629ef8af9741eb1eba02c3e830dfcc37f35b780f /etc/ProofGeneral.patch | |
| parent | 5294bbcdaac3e2764c68f5d9fb00926838b96059 (diff) | |
Cleaned up docstrings
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions