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 57871 be1bcec13663
parent 57682 648c5ef4876d
child 58760 3600ee38daa0 
--- a/Admin/lib/Tools/makedist_bundle	Fri Aug 08 20:17:13 2014 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Fri Aug 08 22:05:02 2014 +0200
@@ -212,6 +212,7 @@
     ) > "$ISABELLE_TARGET/${ISABELLE_NAME}.ini"
 
     cp "$TMP/windows_app/Isabelle.exe" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe"
+    cp "$ISABELLE_HOME/Admin/Windows/WinRun4J/manifest.xml" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe.manifest"
     cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
       "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET"
isabelle