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