diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-09-25 11:00:14 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-09-25 11:00:14 +0000 |
| commit | ee25387cbb8015ef0669274ea05db2d572c41cdb (patch) | |
| tree | 45a0894839b21296a7f8bae1ae29570726ede4b6 /isa | |
| parent | f6469991686dd574b5167c909e01794737d2f7dd (diff) | |
isa-isatool-command: tuned standard places of Isabelle installation;
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/isabelle-system.el | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index 592574ab..dc4bf761 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -37,13 +37,12 @@ (or (getenv "ISATOOL") (proof-locate-executable "isatool") (let ((possibilities - '("isatool" - "/usr/bin/isatool" - "/usr/local/bin/isatool" - "/usr/lib/Isabelle/bin/isatool" - "/usr/lib/Isabelle99/bin/isatool" + '("/usr/bin/isatool" "/usr/share/Isabelle/bin/isatool" - "/usr/share/Isabelle99/bin/isatool"))) + "/usr/local/bin/isatool" + "/usr/local/Isabelle/bin/isatool" + "/opt/bin/isatool" + "/opt/Isabelle/bin/isatool"))) (while (and possibilities (not (file-executable-p (car possibilities)))) |