diff options
| author | David Aspinall | 2004-03-02 22:43:57 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-03-02 22:43:57 +0000 |
| commit | cb1a561b535e9aeae10a385509fa1166b8cc53f7 (patch) | |
| tree | 2dc1e8ed0a813aea01008063db3ff7f293edba30 /generic/proof-script.el | |
| parent | b701394d956834f77db664cfec0c4c168c898416 (diff) | |
Set version tag for new release.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions