From be285b13d99b4c3aab73c06a532f739bcc398b0f Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 17 May 2000 15:36:05 +0000
Subject: re-use isa/interface-setup.el rather than separate isar version;

---
 isar/interface | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isar/interface')

diff --git a/isar/interface b/isar/interface
index 38adfa7a..1247b935 100644
--- a/isar/interface
+++ b/isar/interface
@@ -104,7 +104,7 @@ else
 fi
 
 
-ARGS="$ARGS -l $PROOFGENERAL_HOME/isar/interface-setup.el"
+ARGS="$ARGS -l $PROOFGENERAL_HOME/isa/interface-setup.el"
 ARGS="$ARGS -l $PROOFGENERAL_HOME/generic/proof-site.el"
 
 for FILE in "$ISABELLE_HOME/etc/proofgeneral-settings.el" \
-- 
cgit v1.2.3