diff options
| author | David Aspinall | 2008-07-05 19:22:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-07-05 19:22:23 +0000 |
| commit | 8a95dd001dc08a0dbe381c90cca3fb046c794a65 (patch) | |
| tree | 68c027b4809e5dac23e17b502b16d36d3c28e2e2 /hol98/example.sml | |
| parent | 08e4d48a596899027990b8eacc89e7df246efd65 (diff) | |
Set version tag for new release.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions