diff options
| author | David Aspinall | 2007-07-04 12:09:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-07-04 12:09:16 +0000 |
| commit | ad96fa7d9c59f6e147248246029fdff6bd559ae1 (patch) | |
| tree | 7368f796fda6300172b4fd427ab72cbb05433edc /generic/proof.el | |
| parent | 82f668132e5b7742943f6dc7edf680fb8fe33968 (diff) | |
Set version tag for new release.
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions