From 7569886ed671277fccb04b7652367cffdf6e8d3a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 May 2009 17:51:54 +0000
Subject: Revert "logic" fix.

---
 isar/isabelle-system.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el
index a7a868f6..2998bc33 100644
--- a/isar/isabelle-system.el
+++ b/isar/isabelle-system.el
@@ -67,7 +67,7 @@ is surely an executable with full path."
   (when (and (not noninteractive)
 	     (not proof-rsh-command)
 	     (or force 
-		 (not isabelle-not-found)
+		 isabelle-not-found
 		 (not (file-executable-p isa-isabelle-command))))
     (setq isa-isabelle-command
 	  (read-file-name
-- 
cgit v1.2.3