diff options
| author | David Aspinall | 2002-08-07 11:54:27 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-07 11:54:27 +0000 |
| commit | bd1f43fddbf943d5a80e4c58d5f789759910b077 (patch) | |
| tree | ef135f79cf673bfd52b3f4e12d8751cb26526df4 /acl2/example.acl2 | |
| parent | e9f373204c404d4f32340cff1570738f76a65efd (diff) | |
Set version tag for new release.
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions