diff options
| author | David Aspinall | 2007-04-30 22:04:59 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-04-30 22:04:59 +0000 |
| commit | 2fd596600aad8e05ee3c5361fb97ae20914731d8 (patch) | |
| tree | ef488e1c4db4fdee8e8875ed66bd983cb028a32c /hol98/example.sml | |
| parent | 552108abaa8c1ffb78319398e10b058485f57a31 (diff) | |
Make proof-shell-unicode non-nil by default
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions