diff options
| author | David Aspinall | 2002-07-19 12:14:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-19 12:14:55 +0000 |
| commit | 5e5212dd7c1ca97dffede72f65f466e02832de64 (patch) | |
| tree | bece27a047ce01a52089aac2cb8a5df3869362a4 /hol98/example.sml | |
| parent | b49c83f9ab9ae46c0607ef17563f422143abafc1 (diff) | |
Set version tag for new release.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions