From 98d77a418c568baa4821b6ee55779409c429d537 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 5 Oct 2004 20:45:07 +0000
Subject: Include /usr/bin/isatool as a possibility

---
 isa/isabelle-system.el | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3