diff options
| author | David Aspinall | 2004-04-21 22:40:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-21 22:40:45 +0000 |
| commit | 8ae991c148d86724a43f778efd688705e0fe59a2 (patch) | |
| tree | 6997828679997618314e4fe5d701af125a39abe1 /hol98/example.sml | |
| parent | 1aaf83d4ce7ff643de45e85bf7f5a6bebaa8c38a (diff) | |
Fix home page address, mention new menu option.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions