diff options
| author | David Aspinall | 2011-01-18 10:20:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-18 10:20:23 +0000 |
| commit | 7db96883fd4054bcbc9594f1b9049f5cff35933a (patch) | |
| tree | ffbf180bab6b658ff62d122bf2cb701f23723a4b /generic/proof-utils.el | |
| parent | 1faeeee2f519637fc4a4b7f556b102f92864fbda (diff) | |
Set version tag for new release.
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions