blob: 9c2a901f799e681599e9b5927bdfe5b8413427e1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
--- isa/isabelle-system.el.orig Thu Dec 8 07:43:17 2005
+++ isa/isabelle-system.el Thu Dec 8 07:43:38 2005
@@ -74,10 +74,6 @@
with full path."
(interactive)
(unless (or isatool-not-found (file-executable-p isa-isatool-command))
- (setq isa-isatool-command
- (read-file-name
- "Please give the full path to `isatool' (RET if you don't have it): "
- nil nil nil))
(if (not (file-executable-p isa-isatool-command))
(progn
(setq isatool-not-found t)
|
