diff options
| author | David Aspinall | 1998-12-15 18:02:13 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-15 18:02:13 +0000 |
| commit | d4c35aaef0322a8938fde2dd98e08b618349dc32 (patch) | |
| tree | a4de0b9fb45539ce32cf23a209a02c76e7cf1c09 /doc/ProofGeneral.texi | |
| parent | f92abf977ec1decb12d82ef25c3c288e8689e4bb (diff) | |
Set version tag for new release.
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions