diff options
| author | proofgen | 1998-10-28 11:05:10 +0000 |
|---|---|---|
| committer | proofgen | 1998-10-28 11:05:10 +0000 |
| commit | 78ade4c020a6d20f48fdad7d3ae0731c9c359c69 (patch) | |
| tree | 12cdad7acf97a7d9ee7cafd48b515792e184d32a /generic/proof-script.el | |
| parent | 5937bacd73624d3ae7c1f20f5b19c9f76ba527f1 (diff) | |
Set version tag for new release.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions