diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-10-05 20:45:07 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-10-05 20:45:07 +0000 |
| commit | 98d77a418c568baa4821b6ee55779409c429d537 (patch) | |
| tree | acace1e6f6e19c09fc0b68fe97bbfb257b45297d /isa | |
| parent | d77033fd4bf8097d6a9f0adf623225098de54c32 (diff) | |
Include /usr/bin/isatool as a possibility
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/isabelle-system.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index 363e9424..acd6d13a 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -45,6 +45,7 @@ "/usr/share/Isabelle/bin/isatool" "/usr/local/bin/isatool" "/usr/local/Isabelle/bin/isatool" + "/usr/bin/isatool" "/opt/bin/isatool" "/opt/Isabelle/bin/isatool"))) (while (and possibilities |