diff options
| author | David Aspinall | 2013-03-27 10:48:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2013-03-27 10:48:06 +0000 |
| commit | 612d6f69ed9908051d2df682243c6765ea7e0fb1 (patch) | |
| tree | bf3aef137ab1edac8b56e19b28e8a48e7f2eadce /doc/ProofGeneral.texi | |
| parent | 4d82a4363942ea6a1f764a0a22b37f3092c62947 (diff) | |
Set version tag for new release.
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions