diff options
| author | David Aspinall | 1999-11-10 18:15:23 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-10 18:15:23 +0000 |
| commit | 78776b96c8dfe9b24c2a3a7d35172dfb906b9a46 (patch) | |
| tree | b7144dd4d33c89bbb102cd10abce0296518f4dba /generic/proof-script.el | |
| parent | 3b33deaeb9c34d37917ec06427e063c4a4235518 (diff) | |
Set version tag for new release.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions