Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Isabelle %f;
authorwenzelm
Tue, 26 Oct 1999 17:00:46 +0200
changeset 7934 42836b6c4c73
parent 7933 80b528790ccc
child 7935 ac62465ed06c
Isabelle %f;
lib/Tools/install file | annotate | diff | comparison | revisions 
--- 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
isabelle