diff options
| author | David Aspinall | 2000-05-25 14:52:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-25 14:52:31 +0000 |
| commit | 6b7b298ecc9eb3deafd111c791fe0c763dcb87a8 (patch) | |
| tree | 85ba69e56b2ea3c219963e3c7517a67b3070e60c /etc/ProofGeneral.patch | |
| parent | c68797fca33e83e0908b98f8e444a28097b5c027 (diff) | |
Set version tag for new release.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions