diff options
| author | David Aspinall | 2004-06-23 10:22:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-06-23 10:22:52 +0000 |
| commit | 086147fe901f149479dac0e187e6078d50857502 (patch) | |
| tree | 148ed1d236f8a65f331f09b86c2aceb016a75c7f /hol98/example.sml | |
| parent | 22ffdd2c276a6527ffcb74ae19c5c5415132f86a (diff) | |
Disable provers whose file extensions clash with sml mode. Default to Isabelle/Isar
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions