diff options
| author | Thomas Kleymann | 1998-10-30 12:08:20 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-30 12:08:20 +0000 |
| commit | 4159c005b516ea482b6d0e5fc5e1d960348383c4 (patch) | |
| tree | 5b9577e085f726d15275a4594e228d8b633f7154 /generic/proof-script.el | |
| parent | 15f6b377ae00b28d147e1a8c36fad031ded44d31 (diff) | |
Set version tag for new release.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions