diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 16:41:54 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 16:41:54 +0000 |
commit | 99929d06aac9631eec70d0f7e4a774ed057c693d (patch) | |
tree | 9b0c6598e501c281943b830aad051a08f1a0f5ea /generic/proof-utils.el | |
parent | 58472ae80b692c593306003123b19780c4d11838 (diff) |
Set version tag for new release.
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions