diff options
| -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 |