diff options
| author | Thomas Kleymann | 1998-11-02 12:43:22 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-11-02 12:43:22 +0000 |
| commit | f295bba04b0fe9532a169b1ac89089d85642b219 (patch) | |
| tree | bbe8996e6b71089904b7283181ccca32b0820968 /generic/proof-script.el | |
| parent | d6ff63eac2e02856b2031aafb23a75f17256b631 (diff) | |
Set version tag for new release.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions