diff options
| author | David Aspinall | 2002-07-18 12:56:08 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-18 12:56:08 +0000 |
| commit | 2da10860ac99d545258eafb041e686ca8200d436 (patch) | |
| tree | 3336af3b7f08c0d0b144fdc408aeaa894b93fc03 /hol98/example.sml | |
| parent | bf55d17d6e22924a5705d9fb5d594c6652842c90 (diff) | |
Set version tag for new release.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions