Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/lib/Tools/makedist_bundle
changeset 61160 12a72ca8329d
parent 61151 9005aeb8125a
child 61184 554bba935af1 
--- a/Admin/lib/Tools/makedist_bundle	Fri Sep 11 14:53:05 2015 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Fri Sep 11 21:27:23 2015 +0200
@@ -290,6 +290,7 @@
         -e "s,{ICON},$APP_TEMPLATE/isabelle_transparent.ico,g;" \
         -e "s,{SPLASH},$APP_TEMPLATE/isabelle.bmp,g;" \
         -e "s,{CLASSPATH},$EXE_CLASSPATH,g;" \
+        -e "s,{ISABELLE_NAME},$ISABELLE_NAME,g;" \
         -e "s,{PLATFORM},$PLATFORM,g;" \
         -e "s,{PLATFORM_IS_64},$PLATFORM_IS_64,g;" \
         -e "s,{PLATFORM_BITS},$PLATFORM_BITS,g;" \
isabelle