From ee25387cbb8015ef0669274ea05db2d572c41cdb Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 25 Sep 2000 11:00:14 +0000
Subject: isa-isatool-command: tuned standard places of Isabelle installation;

---
 isa/isabelle-system.el | 11 +++++------
 1 file 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))))
-- 
cgit v1.2.3