diff options
| author | David Aspinall | 2002-08-29 10:06:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-29 10:06:52 +0000 |
| commit | 02f1692d75442b78de7e6c032d9ba45640454002 (patch) | |
| tree | 13a44cbfd6c8b331dd6615874af6c79f90d2c587 /FAQ | |
| parent | 81a038a185dac18aa4dcdbb25e9405b86f3fed92 (diff) | |
Search for isabelle binary in standard places.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions