diff options
| author | David Aspinall | 2004-04-24 11:00:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-24 11:00:18 +0000 |
| commit | 230672e321074b07c85f58e6add83c953291c894 (patch) | |
| tree | 3851a85cadb3992677756664d83a2173364a6528 /hol98/example.sml | |
| parent | e7357e5fadd9cc45ab7462c84c95eb3ce0b704bd (diff) | |
Add FAW on cannot switch buffers error
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions