diff options
author | 2013-05-10 09:18:03 +0000 | |
---|---|---|
committer | 2013-05-10 09:18:03 +0000 | |
commit | cfe55b2593c5f47dfef3d26af0847dc669575aeb (patch) | |
tree | 83fcfb1f511a3054c11da6d2884071d01ad97987 /doc/ProofGeneral.texi | |
parent | dc4f8c1cb9218e03bfea4a9b97d453b7c759d8cb (diff) |
Set version tag for new release.
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions