# HG changeset patch
# User wenzelm
# Date 999972202 -7200
# Node ID 87b585079d01f7f0a8aff2242cda18c6326ec9e1
# Parent  aca5398ccd350f9458e7df78d16a47a2fc856041
tuned;

diff -r aca5398ccd35 -r 87b585079d01 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Sat Sep 08 20:02:59 2001 +0200
+++ b/lib/scripts/getsettings	Sat Sep 08 20:03:22 2001 +0200
@@ -1,4 +1,4 @@
-#
+# -*- shell-script -*-
 # $Id$
 # Author: Markus Wenzel, TU Muenchen
 # License: GPL (GNU GENERAL PUBLIC LICENSE)
@@ -16,8 +16,8 @@
 #normalize ISABELLE_HOME as passed by caller
 ISABELLE_HOME=$(cd "$ISABELLE_HOME"; echo "$PWD")
 
-#main executables
-ISABELLE="$ISABELLE_HOME/bin/isabelle"
+#key executables
+ISABELLE="$ISABELLE_HOME/bin/isabelle-process"
 ISATOOL="$ISABELLE_HOME/bin/isatool"
 
 #users tend to put strange things in here ...