diff -r e7265e70fd7c -r 915c5de6480f lib/Tools/install
--- a/lib/Tools/install	Tue Sep 04 21:10:57 2001 +0200
+++ b/lib/Tools/install	Sat Sep 08 20:00:31 2001 +0200
@@ -95,7 +95,7 @@
 if [ -n "$BINDIR" ]; then
   mkdir -p "$BINDIR" || fail "Bad directory: $BINDIR"
 
-  for NAME in isatool isabelle Isabelle
+  for NAME in isatool isabelle-process isabelle-interface
   do
     BIN="$BINDIR/$NAME"
     DIST="$DISTDIR/bin/$NAME"
@@ -105,6 +105,14 @@
     echo "exec \"$DIST\" \"\$@\"" >> "$BIN"
     chmod +x "$BIN"
   done
+  for NAME in Isabelle isabelle
+  do
+    BIN="$BINDIR/$NAME"
+    DIST="$DISTDIR/bin/$NAME"
+    echo "installing $BIN"
+    cp "$DIST" "$BIN" || fail "Cannot write file: $BIN"
+    chmod +x "$BIN"
+  done
 fi
 
 
@@ -138,7 +146,7 @@
   echo "# KDE Config File" > "$KDEAPP" || fail "Cannot write file: $KDEAPP"
   echo "[KDE Desktop Entry]" >> "$KDEAPP"
   echo "Type=Application" >> "$KDEAPP"
-  echo "Exec=\"$DISTDIR/bin/Isabelle\" %f" >> "$KDEAPP"
+  echo "Exec=\"$DISTDIR/bin/isabelle-interface\" %f" >> "$KDEAPP"
   echo "Icon=isabelle.xpm" >> "$KDEAPP"
   echo "TerminalOptions=" >> "$KDEAPP"
   echo "Path=" >> "$KDEAPP"