lib/Tools/install

--- a/lib/Tools/install	Tue Oct 26 15:23:25 1999 +0200
+++ b/lib/Tools/install	Tue Oct 26 17:00:46 1999 +0200
@@ -116,7 +116,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" >>$KDEAPP
+  echo "Exec=$DISTDIR/bin/Isabelle %f" >>$KDEAPP
   echo "Icon=isabelle.xpm" >>$KDEAPP
   echo "TerminalOptions=" >>$KDEAPP
   echo "Path=" >>$KDEAPP